模板模板类专业化

Question

我只是在学习模板模板类专业化。问题不大，详细解释一下。据我了解，std::uniform_int_distribution 是一个模板，而std::uniform_int_distribution<Type> 是uniform_int_distribution 提供类型的完全专业化。我在专业化类模板中传递它如下

---

主类

template <template <class> class Distribution,
    class Type,
    class Engine = std::mt19937>
class random_gen
{
    ....
}

类的专业化

template <class Type, class Engine>
class random_gen<std::uniform_real_distribution<Type>, Type, Engine>
{
    ...
}

---

发生的错误是：

type/value mismatch at argument 1 in template parameter list for 'template<template<class> class Distribution, class Type, class Engine> class random_gen'

Answer 1

特化仍然需要是模板模板参数。你传入了一个完整的类型。你想要：

template <class Type, class Engine>
class random_gen<std::uniform_real_distribution, Type, Engine>
{
    ...
};

只是std::uniform_real_distribution，而不是std::uniform_distribution<Type>。