问题描述
我当时正在观看C++ 20 Concepts Presentation ,并且在尝试重现代码时,我似乎被卡住了。
我试图要求树的根必须满足MyObjConcept0_,为了简单起见,这只是一个整数。当我在Tree_概念的require子句中使用此概念时,结果为何是错误的?
我试图直接从演示文稿中复制代码,但还是没有运气。为什么{t.root}子句的返回类型为int&-我的意思是这样,因为当您以这种方式访问成员时,就会获得引用。
那么在39:00的演示文稿中(与MyObjConcept0_一样)需要子句通过怎么办?
从这次演讲开始,标准有什么变化吗?还是我盲目地错过了一些东西?
#include <concepts>
#include <functional>
// Type is an int
template<typename T>
concept MyObjConcept0_ = std::same_as<T,int>;
// Type is any type that decays to int
template<typename T>
concept MyObjConcept1_ = std::same_as<std::decay_t<T>,int>;
// Type is an int&
template<typename T>
concept MyObjConcept2_ = std::same_as<T,int&>;
template<typename T>
concept Tree_ = requires (T t) {
{ t.root } -> MyObjConcept0_; // does not work : This is the concept I want to use
{ t.root } -> MyObjConcept1_; // works but will pass for int and int& : unsafe
{ t.root } -> MyObjConcept2_; // works but checks that t.root is an int&
std::same_as<decltype(t.root),int>; // works: verbose and not a concept
};
template<MyObjConcept0_ MyObjConcept0T>
struct tree {
MyObjConcept0T root;
};
static_assert(Tree_<tree<int>>);
解决方法
化合物要求
{ e } -> Concept;
表示e
必须是有效的表达式,并且Concept<decltype((e))>
必须成立。注意双括号,这很重要。让我们来看一棵简单的树,我不知道为什么这需要作为模板:
struct X {
int root;
};
X t;
虽然decltype(t.root)
是int
(该成员变量的声明类型是int
),但是decltype((r.root))
是int&
(因为它是类型的左值) int
,因此是int&
)。结果:
template <typename T>
concept Tree = requires(T t) {
{ t.root } -> std::same_as<int&>;
};
Tree<X>
成立-因为t.root
是类型int
的左值。
clang只是弄错了。它没有实现P1084,它是#45088。
, 表达式的需求检查类型。为了评估变量的类型,您必须检查一个对变量const path = require( "path" );
full_path = path.resolve( path_to_folder_containing__dir_ent__,dir_ent.name );
进行编码的表达式。
decltype
,
谢谢大家或您的回答,他们为我指明了正确的方向,但对于我的问题而言,它们的含义还不够广泛。由于关键问题是将概念类型传递给另一个概念的require子句。我应该-指明这一点。
在编译器浏览器上工作了几个小时后,我想出了一个解决方案。 使用-std = c ++ 20在clang 10.0.0及更高版本中工作:
let results = [2,2,1,3,1];
results = results.filter(
(n,i,array) => n !== array[i - 1] && n !== array[i + 1]
);
console.log(results); // [1,1]
这对我较早不起作用的原因是因为我使用的是GCC 10.2,实际上确实存在Barry提到的编译器问题:Concept
似乎所有解决方案都会增加代码膨胀,这将使使用这些概念更加麻烦而不是帮助。