非类型模板参数
Non type template parameter
考虑一下:
#include <set>
template <typename T, T val>
class sample {
public:
// Return val for new elements.
T& at(unsigned i) {
auto o = _set.insert(val);
return *o.first;
}
private:
std::set<T> _set;
};
class s {
public:
constexpr s() = default;
};
int main() {
constexpr s val;
sample<s, val> o2;
return 0;
}
gcc -std=c++11 无法编译。
non-type.cc: In function ‘int main()’:
non-type.cc:24:18: error: ‘class s’ is not a valid type for a template non-type parameter
sample<s, val> o2;
如评论中所述,我希望将"set"的新元素初始化为"val"。由于 val 是恒定的,它看起来是合理的期望!
有人可以告诉我如何实现它吗?
看起来你想做的事情是可能的,但需要 C++20。
从文档中
在 C++20 之前,"非类型参数"必须是
- std::nullptr_t (since C++11); - an integral type; - a pointer type (to object or to function); - a pointer to member type (to member object or to member function); - an enumeration type.
具有自定义类型的非类型参数目前似乎不可用,除非您有权访问已经具有该功能的编译器。
示例中的解决方法是接受引用。即使在 C++11 中,对静态对象的引用也是有效的非类型模板参数。
template <typename T, T const & val>
class sample {
// ...
};
// ...
constexpr static s val;
sample<s, val> o2;
由于您打算使用constexpr
val,因此将其static
似乎也很合适。
相关文章:
- 扩展C++生成的代码的模板参数类型名称
- 如何在 c++ 中定义接受不同参数类型的函数向量?
- 在 C++ 中运行时调用模板时,是否可以切换模板的参数类型?
- 将函数参数类型声明为 auto
- 将函数的参数 - 签名从使用 'std::function<T>' 转换为模板参数类型
- 在 C++17 中调用具有不同参数类型的构造函数
- 具有先前参数类型匹配的参数包
- 我想知道为什么"std::unique_ptr<int> foo(新 int)"是合法的,因为"std::<int>unique_ptr"要求输入参数类型应该是"int"?
- 将可变参数类型列表的扩展打包为复杂类型的初始值设定项列表 - 合法吗?
- MSVC 错误:4 个重载中的任何一个都无法转换所有参数类型
- 使用constexpr + auto作为返回和参数类型的奇怪类型推导
- 如何从第一个参数推断第二个参数类型?
- C++模板函数中,指定回调函子/lambda 的参数类型,同时仍允许内联?
- 如何用不同的参数类型和数字回调函数
- C++stoi:这两个重载都无法转换所有参数类型
- 为什么std::{container}::template不能推导其参数类型
- 为模板参数类型中的新对象分配内存
- 为指向成员模板参数的指针推导额外模板参数类型的紧凑方式
- 使用std::conditional中的模板来确定函数参数类型
- C++中的短参数类型