具有类型/非类型参数的相同模板类？ [关闭]

Question

给定一个模板类myclass，是否有一种棘手的方法可以让用户这样做：

myclass<void> x;
myclass<double> y;
myclass<42> z; // I do not expect the classic hack 
               // myclass<std::integral_constant<int, 42>>

因为在某些情况下，它是有意义的。我的目标是从用户的角度允许这一点，不管（可能）可怕的元编程黑客是否允许它。

注意：如果可能的话，我想要一个没有boost（仅标准库）的解决方案，以正确理解该方法的所有细节。

Answer 1

类模板参数要么是类型要么是值，所以当直接实例化类时，我想不出一个技巧来处理这两者。函数是另一回事，所以让我们介绍一个 make 函数：

template <typename T> struct myclass {};

template <int V> struct value {}; // helper

template <typename T> myclass<T>        make_myclass() { return myclass<T>(); }
template <int V>      myclass<value<V>> make_myclass() { return myclass<value<V>>(); }

int main(int argc, char** argv)
{
    auto a = make_myclass<void>();
    auto b = make_myclass<double>();
    auto c = make_myclass<42>();
}

够近了吗？