如何在概念中使用C ++ require子句以要求成员变量满足概念约束？

问题描述

我当时正在观看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 中的双括号会产生一个参考。

似乎所有解决方案都会增加代码膨胀，这将使使用这些概念更加麻烦而不是帮助。