c++ - g++ 9 概念支持包括 ubuntu 18.04 上的

Question

我正在使用 g++ -std=c++2a -fconcepts 与 g++ 一起玩概念，但在 #include 概念 header 中出现错误:没有这样的文件或目录。有人可以帮我调试这个吗？这是我从 cppreference 复制的代码:

#include <string>
#include <cstddef>
#include <concepts>
using namespace std::literals;

// Declaration of the concept "Hashable", which is satisfied by
// any type T such that for values a of type T,
// the expression std::hash<T>{}(a) compiles and its result is convertible to std::size_t
template<typename T>
concept Hashable = requires(T a) {
    { std::hash<T>{}(a) } -> std::convertible_to<std::size_t>;
};

struct meow {};

template<Hashable T>
void f(T); // constrained C++20 function template

// Alternative ways to apply the same constraint:
// template<typename T>
//    requires Hashable<T>
// void f(T); 
// 
// template<typename T>
// void f(T) requires Hashable<T>; 

int main() {
  f("abc"s); // OK, std::string satisfies Hashable
  f(meow{}); // Error: meow does not satisfy Hashable
}

Answer 1

GCC 9 不支持 C++20 概念，只支持较早的概念技术规范 (TS)，它与前者不同(例如，定义概念的语法不同)。

您需要 GCC 10 才能使用此代码。

概念 TS 已记录 on this cppreference page , 不是 this one从中获得代码。