Question

我正在尝试创建一个模板类，当我定义一个非成员模板函数时，我得到“没有匹配函数来调用randvec（）”错误。

我有一个模板类定义为：

template <class T>
class Vector {
T x, y, z;

public:
//constructors
Vector();
Vector(const T& x, const T& y, const T& z);
Vector(const Vector& u);

//accessors
T getx() const;
T gety() const;
T getz() const;

//mutators
void setx(const T& x);
void sety(const T& y);
void setz(const T& z);

//operations
void operator-();
Vector plus(const Vector& v);
Vector minus(const Vector& v);
Vector cross(const Vector& v);
T dot(const Vector& v);
void times(const T& s);
T length() const;
//Vector<T>& randvec();

//operators
Vector& operator=(const Vector& rhs);
friend std::ostream& operator<< <T>(std::ostream&, const Vector<T>&);
};

我在上述所有函数之后定义的函数是：

//random Vector
template <class T>
Vector<double>& randvec()
{
const int min=-10, max=10;
Vector<double>* r = new Vector<double>;
int randx, randy, randz, temp;

const int bucket_size = RAND_MAX/(max-min +1);

temp = rand();    //voodoo hackery

do randx = (rand()/bucket_size)+min;
while (randx < min || randx > max);
r->setx(randx);

do randy = (rand()/bucket_size)+min;
while (randy < min || randy > max);
r->sety(randy);

do randz = (rand()/bucket_size)+min;
while (randz < min || randz > max);
r->setz(randz);

return *r;
 }

然而，每次我在主函数中使用如下行来调用它时

    Vector<double> a(randvec());

我收到了这个错误。但是，如果我删除模板并使用'double'而不是'T'来定义它，则对randvec（）的调用可以完美地工作。为什么不识别randvec（）？

P.S。不要介意标记为伏都教hackery的位 - 这只是一个廉价的黑客，所以我可以绕过另一个problem I encountered。

Answer 1

您将randvec定义为函数模板，但没有函数参数依赖于模板参数T（实际上randvec根本没有函数参数）。这立即意味着编译器无法从对T的调用中推导出模板参数randvec()。您必须明确地为T的每次调用指定模板参数randvec，如

randvec<some_type>()

或者，在您的背景下

Vector<double> a( randvec<some_type>() );

这实际上提出了一个问题，即当randvec中的任何内容实际上取决于模板参数randvec时，您决定将T定义为函数模板的问题。为什么呢？

P.S。通过引用返回动态分配的对象...可以使其正常工作，但它仍然是一个非常值得怀疑的做法。我没有看到你的整个代码，但我猜你的

Vector<double> a( randvec<some_type>() );

泄漏由Vector<double>分配和返回的randvec对象。

模板问题：没有匹配的呼叫功能

1 个答案: