模板参数互斥
Template Parameters Mutually Exclusive
本文关键字:参数 更新时间:2023-10-16
我有一个带有多个模板参数的模板。
template<typename Appl, typename StoredData>
class Box {
};
参数的值是互斥的:即对于Appl的每个值,StoredData只允许有一组特定的类型。
例如:Appl是List,StoredData-double,charAppl是树,StoredData-int
有没有办法在编译时强制执行此限制?所以,
Box<List, double> - compiles
Box<List, int> - fails
Box<Tree, int> - compiles
有:
template<typename Appl, typename StoredData>
class Box {
static_assert(
std::is_same<Appl, List>::value && std::is_same<StoredData, double>::value ||
std::is_same<Appl, Tree>::value && std::is_same<StoredData, int>::value,
"Bad parameters"
);
};
下面是一个工作示例http://ideone.com/enECW,尝试更改某些类型,它将无法编译。
相关文章:
- 如何反转整数参数包
- 使用C++库在Android项目中修改gradle中的cmake参数,用于插入指令的测试
- 如何使用默认参数等选择模板专业化
- 模板参数替换失败,并且未完成隐式转换
- 具有默认模板参数的多态类的模板推导失败
- lambda参数转换为constexpr技巧,然后获取带链接的数组
- 将数组作为参数传递给函数安全吗?作为第三方职能部门,可以探索他们想要的之外的其他元素
- 函数调用中参数的顺序重要吗
- 部分定义/别名模板模板参数
- 模板-模板参数推导:三个不同的编译器三种不同的行为
- 使用不带参数的函数访问结构元素
- 基于另一个成员参数将函数调用从类传递给它的一个成员
- 如何在OMNET++中指定与命令行参数组合的输出文件名
- 如何使用Luacneneneba API正确读取字符串和表参数
- 在派生函数中指定void*参数
- 视图中的参数推导失败:take_while
- static_assert在宏中,但也可以扩展到可以用作函数参数的东西
- 使用指向成员的指针将成员函数作为参数传递
- 没有名称的C++模板参数
- 如何将enable-if与模板参数和参数包一起使用