Question

我在查看 C++20 特性时发现了概念。我发现他们为模板参数添加了验证，但除此之外，我不明白 C++20 概念的真实用例是什么。

C++ 已经有 std::is_integral 之类的东西，它们可以很好地执行验证。

我确定我遗漏了一些关于 C++20 概念及其支持的内容。

Answer 1

SFINAE 是一种意外的图灵完备子语言，在重载解析和模板特化选择时执行。

事实证明它在模板代码中被大量使用。

Concepts 和 requires 子句试图采用这种意外有用的语言特性，并使其变得不那么糟糕。

概念的起源将有3个部分； (a) 以干净的方式描述给定的模板代码位需要什么，(b) 还提供一种映射其他类型的方法，以非侵入性地满足这些要求，以及 (c) 检查模板代码，以便任何类型满足概念保证编译

(a) 加 (c) 的所有尝试都失败了，通常要花很长时间来编译和/或限制您可以使用 (a) 检查的内容。 (b) 也被删除以确保 (a) 更好；在很多情况下，您可以手动编写这样的概念图机制，但 C++ 不为您提供。

那么，现在它有什么用？

auto sum( Addable auto... values )

使用Addable的概念来简洁地表达模板的接口。传递不可添加的突出显示时您收到的错误消息不是 Addable，并且表达式不起作用。

template<class T, class A>
struct vector{
  bool operator==(vector<t,A>const& o)requires EquallyComparible<T>;
};

在这里，我们声明这个向量有一个 == 当且仅当 T 有。在概念之前这样做是一件烦人的工作，甚至将规范添加到标准中也是如此。

这是图灵焦油坑；一切都是等价的，但没有什么是容易的。所有程序都可以用 I/O 加上一条 (a=(a-b);(a<0)?goto c:next 3 参数指令来编写；但是更丰富的语言可以让程序变得更少。 Concepts 采用了 C++ 的一个深奥分支 SFINAE，使其简洁明了（以便更多人可以使用它），并改进了错误消息。

C++20 概念的用例是什么？

1 个答案: