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

请原谅我标题中糟糕的措辞，我认为我的例子将更能说明我正在努力做什么，以及我面临的问题：

下面是我当前正在尝试创建的类模板：

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

模板
IID类{
公众：
IID（tx）{a=x；}
模板
向量运算符（）（X&rng，无符号整数n）{
向量返回值（n）；
生成（returnval.begin（），returnval.end（），bind（a，ref（rng））；
返回值；
};
私人：
Tα；
};

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

uniform_int_distribution<double> T;

均匀分布T；

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

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

vector操作符（）（X&rng，无符号整数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类{
公众：
IID（tx）{a=x；}
模板
向量运算符（）（X&rng，无符号整数n）{
向量返回值（n）；
生成（returnval.begin（），returnval.end（），bind（a，ref（rng））；
返回值；
};
私人：
Tα；
};

因为这意味着IID类成员的实例化形式如下：

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

uniform\u real\u dist（0100）；
IID a（区）；

到处都是冗余

我宁愿：

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

uniform\u real\u dist（0100）；
IID a（区）；

看起来干净多了

---

感谢您的时间！

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

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

模板
IID类{
公众：
// ...
模板
自动运算符（）（X&rng，无符号整数n）
->向量{
std：：向量rc；
std:：generate_n（std:：back_inserter（rc），n，std:：bind（this->a，std:：ref（rng））；
返回rc；
}
私人：
Tα；
};

这正是我想要的！我知道decltype返回某种类型，我也知道您正在将（）运算符绑定到RNG。但是什么是/为什么使用declval（）？

std:：declval（）

生成一个类型为

T

的对象，类似于您的

a

。我之所以使用它，主要是因为我不知道是否可以在延迟返回中使用

this->a

。在函数内部，它可以被

this->a

替换。因为

a

实际上是一个非

const

引用ly将被更正为

std:：decltype（）

（我会解决这个问题）。函数模板实际上没有定义，因为它只在非求值上下文中使用。啊，所以declval允许我们在不直接实例化T对象的情况下识别T的成员函数的信息，对吗？另外，我对您的意思有点困惑“函数模板实际上没有定义，因为它只在未计算的上下文中使用。”

std:：declval（）

是一个函数，返回任何

T

作为适当引用的内容：

template typename std:：add\rvalue\u reference:：type declval（）noexcept；

基本思想是生成一些可以用来创建对象的东西。但是，函数只被声明，因此只能在运行时不执行的地方使用，例如，作为

decltype（）

、

noexcept（）

或

sizeof（）

的参数（我认为这是一个完整的未评估上下文列表）。啊，现在我明白了那句话的意思。谢谢！