c++ - 非类型模板参数

Question

考虑一下:

#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 是恒定的，因此看起来是合理的期望!

有人可以告诉我如何实现它吗？

Answer 1

看起来你想做的事情是可能的，但需要 C++20。

来自docs

在 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.

拥有自定义类型的非类型参数目前似乎不可用，除非您可以访问已经具有该功能的编译器。