如何正确使用概念？

Question

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

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

使用最新的 GCC 和 C++2A(GNU) 参数在 VS2022 预览版 3 和 an online compiler 上进行了测试，生成了相同的结果。

#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

所以，有两件事。

您正在使用 simple requirements (the extra {} make those compound requirements technically, but since you don't use any optional feature of those, it's equivalent to a simple requirement). Those mostly verify that an expression is syntactically valid. Its value is immaterial to them. What you want is nested requirements:
```
template<typename A> concept ProperArray = requires(A array)
{
    requires array.max_size() >= 2U;
    requires std::is_arithmetic<typename A::value_type>::value;
};
```
这些要求（其表达式必须是常量表达式），检查值是否确实。但是请注意，如果 max_size 不是 constexpr 或 consteval 成员函数，或者如果求值不会产生常量表达式，那么它就是 硬错误。这个概念不会简单地是“假的”。
if constexpr 在模板之外是没有实际意义的。当它的条件依赖于模板参数时，它不会执行相同的丢弃魔法。您可以使用常规 if 来达到相同的效果。

如何正确使用概念？

How to properly use concepts?

c++

c++-concepts

c++20

if-constexpr