非类型模板参数

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。

从文档

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

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