c++ - 为模板化类型专门化模板化函数？

Question

我有一个函数:

// declaration of random, specialize this to provide random instances of types
template <typename T> T random() {
    static_assert(
        std::is_void<T>::value && false, "random() not implemented for type"
    );
}

我想将它专门用于另一种类型，_point1d，它也是模板化的:

template <typename T>
struct _point1d {
    _point1d(T x) : x(x) {}
    T x;
};

我试过这个:

template <typename T>
_point1d<T> random<_point1d<T>>() { return _point1d<T>(random<T>()); }

但是我得到:

error: non-type partial specialization ‘random<_point1d<T> >’ is not allowed

用海合会。这可能吗？

Answer 1

您不能部分特化函数模板。

标准解决方案是使用中间帮助类模板:

template <typename> struct Aux;

template <typename U> struct Aux<_point1d<U>>
{
    static _point1d<U> f() { /* ... */ }
};

template <typename T> T random() { return Aux<T>::f(); }
//                                 ^^^^^^^^^^^^^^^^^^^

这样一来，您只有一个函数模板，选择正确特化的所有细节都在类模板中完成，您可以根据自己的选择自由地部分特化或显式特化。