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

时间:2014-05-30 22:30:37

标签: c++ templates

请原谅我标题中的可怜的用语,我认为我的例子会做更多的事情来展示我想要做的事情以及我面临的问题:

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

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;

有没有办法获得&#34; double&#34;从上面的语句中可以看出以下代码行?

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

看起来更干净。

感谢您的时间!

1 个答案:

答案 0 :(得分: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;
};