如何正确运用概念？-C/C++问题

How to properly use concepts?(如何正确运用概念？)

本文介绍了如何正确运用概念？的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！

问题描述

目前我正在学习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;
}

推荐答案

所以，有两件事。

您正在使用simple requirements(额外的{}在技术上提出这些复合需求，但因为您没有使用这些需求中的任何可选功能，所以它等同于一个简单的需求)。它们主要验证表达式在语法上是有效的。它的价值对他们来说无关紧要。您需要的是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成员函数，或者如果求值不会产生常量表达式，则它是硬错误。这个概念不会简单地被"；False"；所取代。
if constexpr模板之外没有实际意义。当它的条件依赖于模板参数的值时，它不会执行相同的丢弃操作。您本可以使用常规if来达到相同的效果。