基于单独的模板化成员改变类的模板化成员函数的返回类型

Varying the return type of a templated member function of a class based off of a separate templated member

本文关键字:成员 函数 返回类型 改变 于单独      更新时间:2023-10-16

请原谅我标题中的蹩脚措辞,我认为我的例子将更能说明我正在努力做的事情,以及我面临的问题:

这是一个类模板,我目前正在尝试创建:

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);

看起来干净多了

感谢您的宝贵时间!

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

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;
};