7

我在下面有一个示例代码。

#include<iostream>

template<typename T>
class XYZ
{
   private:
   T & ref;
   public:
   XYZ(T & arg):ref(arg)
   {
   }
};
class temp
{
   int x;
   public:
   temp():x(34)
   {
   }
};
template<typename T>
void fun(T & arg)
{
}
int main()
{
   XYZ<temp> abc(temp());
   fun(temp());  //This is a compilation error in gcc while the above code is perfectly valid. 
}

在上面的代码中，即使 XYZ 构造函数将参数作为非 const 引用，它也可以正常编译，而 fun 函数无法编译。这是特定于 g++ 编译器还是 c++ 标准必须对此有所说明？

编辑：

g++ -v 给出了这个。

gcc 版本 4.5.2 (Ubuntu/Linaro 4.5.2-8ubuntu4)

4

2 回答 2

12 
 XYZ<temp> abc(temp());

它可以编译，因为它不是变量声明。我敢肯定，当事实是它是一个函数声明时，您会认为它是一个变量声明。该函数的名称是abc; 该函数返回一个类型的对象XYZ<temp>并接受一个（未命名的）参数，而该参数又是一个返回类型temp且不接受任何参数的函数。有关详细说明，请参阅这些主题：

并且 fun(temp())不编译，因为temp()创建了一个临时对象并且临时对象不能绑定到非常量引用。

所以修复是这样的：将您的函数模板定义为：

template<typename T>
void fun(const T & arg) //note the `const`
{
}
于 2011-06-07T16:11:27.147 回答
5

不，该标准不允许将临时引用传递给非 const 引用。（C++0X 引入了右值引用以在某些受控情况下允许这样做），请参阅 8.5.3/5（这对我来说太长了无法引用，有意义的部分是，否则，引用应为非易失性 const 类型，但您必须阅读整个案例列表才能知道它们不适用于此处）。

和

XYZ<temp> abc(temp());

只是最令人头疼的解析的又一个例子。

于 2011-06-07T16:09:03.163 回答