如何正确运用概念?
目前我正在学习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
来达到相同的效果。
相关文章