代码之家 › 专栏 › 技术社区 › Andreas Loanjoe

静态断言添加操作是否可用

static-assert compile-time templates c++

2

Andreas Loanjoe · 技术社区 · 8 年前

我试图创建一个静态断言,检查是否可以将类型a添加到类型B。有什么方法可以检查模板类型a是否可以在编译时添加到模板类型B?A和B真的可以是任何东西。

1 回复 | 直到 8 年前

1

4

Jarod42 8 年前

is_detected ,您可以执行以下操作:

template <typename LHS, typename RHS>
using sum_t = decltype(std::declval<LHS>() + std::declval<RHS>());

template <typename LHS, typename RHS> 
using has_sum = is_detected<sum_t, LHS, RHS>;

推荐文章

shle2821 · Xcode可以使用64GB或更大的RAM吗?

8 年前

Andreas Loanjoe · 静态断言添加操作是否可用

8 年前

HuaTham · Swift中预期的模式错误?

9 年前

xinaiz · 计算编译时数组时发生编译器相关错误

9 年前

sharptooth · 当开关不处理一个或多个枚举值时,我可能会出现C#编译时错误吗?[副本]

12 年前

geoff3jones · 如何在编译时静态生成浮点数据?

12 年前