C++ 概念中的类型要求 (C++20)

Question

我正在使用 g++ 10 学习新实现的 C++20 标准概念。 我坚持一个简单的类型要求。即我想实现模板参数T 具有T::inner 成员名称的要求。 这是我的错误代码。这个简单的代码有什么问题以及如何修复它？

#include<concepts>

template<typename T>
concept ContainsInner = requires
{
  typename T::inner;
};

template<ContainsInner T>
struct S{};

struct Q
{
  int inner;
};

int main()
{
  S<Q> s;     // instantiate S with Q for template type, 
              // which must satisfy the ContainsInner concept.
              // Q indeed contains the inner name but still the compilation fails
}

Answer 1

这个：

template<typename T>
concept ContainsInner = requires
{
  typename T::inner;
};

要求T 有一个名为inner 的类型。哪个 gcc 在它的错误中告诉你：

source>:6:12: note: the required type 'typename T::inner' is invalid
    6 |   typename T::inner;
      |   ~~~~~~~~~^~~~~~~~~

Q 没有名为inner 的类型。如果您想要一个名为inner 的成员变量，那么您想要：

template<typename T>
concept ContainsInner = requires(T t) {
    t.inner;
};

请注意，这甚至不检查它是什么类型，只是检查它是否存在。这不是很有用。也许您想要求它是int：

template<typename T>
concept ContainsInner = requires(T t) {
    { t.inner } -> std::same_as<int&>;
};