c++ - 根据单独的模板化成员改变类的模板化成员函数的返回类型

Question

请原谅我标题中的拙劣措辞，我认为我的示例将更多地展示我正在尝试做的事情以及我面临的问题:

这是我目前正在尝试创建的类模板:

template<typename T>
class IID{
public:
    IID(T x){a = x;}
    template<typename X>
    vector</*/////*/> operator()(X& rng, unsigned int n){
        vector</*/////*/> returnval(n);
        generate(returnval.begin(),returnval.end(),bind(a,ref(rng)));
        return returnval;   
    };
private:
    T a;
};

构造函数从 C++ 随机库中获取输入。这些类以下列方式模板化:

uniform_int_distribution<double> T;

有没有办法在下面的代码行中从上面的语句中获取“double”？

vector</*/////*/> operator()(X& rng, unsigned int n){

我可以通过执行以下操作来解决问题，但它包含我想避免的冗余:

template<typename T, typename F>
class IID{
public:
    IID(T x){a = x;}
    template<typename X>
    vector<F> operator()(X& rng, unsigned int n){
        vector<F> returnval(n);
        generate(returnval.begin(),returnval.end(),bind(a,ref(rng)));
        return returnval;   
    };
private:
    T a;
};

因为这意味着 IID 类成员的实例化具有以下形式:

 uniform_real_distribution<double> dist(0,100);
 IID<uniform_real_distribution<double>, double > a(dist);

其中充斥着冗余!

我更愿意:

 uniform_real_distribution<double> dist(0,100);
 IID<uniform_real_distribution<double> > a(dist);

看起来干净多了。

感谢您的宝贵时间!

Answer 1

假设对您用来定义类型的随机数生成器没有要求，最简单的方法是实际上只获取您正在执行的表达式的值:

template<typename T>
class IID{
public:
    // ...
    template<typename X>
    auto operator()(X& rng, unsigned int n)
        -> std::vector<decltype(std::bind(std::declval<T&>(), std::ref(rng))())> {
        std::vector<decltype(std::bind(std::declval<T&>(), std::ref(rng))())> rc;
        std::generate_n(std::back_inserter(rc), n, std::bind(this->a, std::ref(rng)));
        return rc;
    }

private:
    T a;
};