代码之家 › 专栏 › 技术社区 › Igor R.

概念作为类型约束中的模板参数

c++-concepts c++20 c++

Igor R. · 技术社区 · 4 年前

以下代码片段中的正确语法是什么:

template <class T>
concept engine = requires(T&& t) {
  { t.start() } -> std::convertible_to<bool>;
};

template <class T>
concept car = requires(T&& t) {
 { t.get_engine() } -> std::convertible_to<std::optional<engine>>; // this would not compile!
};

0 回复 | 直到 4 年前

åº·æ¡ç 4 年前

使用模板lambda怎么样?

#include <optional>
#include <concepts>

template <class T>
concept engine = requires(T&& t) {
  { t.start() } -> std::convertible_to<bool>;
};

template <class T>
concept car = requires(T&& t) {
  []<engine E>(const std::optional<E>&) { } (t.get_engine());
};

Demo

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前