如何正确使用概念？

Question

目前，我正在学习 C++，并决定从 C++20 开始。然而，这些代码让我发疯，因为我认为结果没有任何意义。

以下代码将Valid array.打印句子。我上面的意思是，这是不对的。它根本不应该打印句子，因为我在参数中插入的类型与概念不匹配。

在 VS2022 Preview 3 和具有最新 GCC 和 C++2A(GNU) 参数的在线编译器上进行测试，生成了相同的结果。

#include <array>
#include <cstdio>
#include <iostream>
#include <type_traits>

using namespace std;

template<typename A> concept ProperArray = requires(A array)
{
    {array.max_size() >= 2U};
    {std::is_arithmetic_v<typename A::value_type> == true};
};

int main()
{
    constexpr bool b = ProperArray<array<std::string, 1>>;
    if constexpr (b)
        cout << "Valid array." << endl;
        
    std::cout << "Hello, Wandbox!" << std::endl;
}

Answer 1

所以，两件事。

1. 您正在使用简单的需求（额外的{}在技​​术上使这些复合需求，但由于您不使用这些需求的任何可选功能，它等同于一个简单的需求）。那些主要验证表达式在语法上是有效的。它的价值对他们来说无关紧要。你想要的是嵌套的要求：

   template<typename A> concept ProperArray = requires(A array)
   {
       requires array.max_size() >= 2U;
       requires std::is_arithmetic<typename A::value_type>::value;
   };
   

   这些要求（其表达式必须是常量表达式），确实检查值。但是请注意，如果max_size不是 aconstexpr或consteval成员函数，或者如果评估不会产生常量表达式，那么这是一个硬错误。这个概念不会简单地是“错误的”。

2. if constexpr在模板之外是没有实际意义的。当其条件依赖于模板参数时，它不会执行相同的丢弃魔法。您可以使用常规if来达到相同的效果。