如何正确运用概念？ [英] 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;
}

推荐答案

所以，有两件事。

1. 您正在使用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"；所取代。

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

这篇关于如何正确运用概念？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！