c++ 中带有 typedef 和模板的常量引用

Question

我听说临时对象只能分配给常量引用。

但是这段代码给出了错误

#include <iostream.h>    
template<class t>
t const& check(){
  return t(); //return a temporary object
}    
int main(int argc, char** argv){

const int &resCheck = check<int>(); /* fine */
typedef int& ref;
const ref error = check<int>(); / *error */
return 0;
}

The error that is get is invalid初始化类型'int&'的引用来自“const int”类型的表达式

Answer 1

这：

typedef int& ref;
const ref error;

不做你认为它做的事。请考虑一下：

typedef int* pointer;
typedef const pointer const_pointer;

const_pointer 的类型是 int* const，不是 const int *。也就是说，当您说 const T 时，您是在说“创建一个 T 不可变的类型”；因此在前面的示例中，指针（而不是被指针）被设为不可变。

不能将引用设为const 或易失性。 this:

int& const x;

没有意义，因此在引用中添加 cv 限定符没有任何效果。

因此，error 的类型为 int&。您不能为其分配 const int&。

---

您的代码中还存在其他问题。例如，这肯定是错误的：

template<class t>
t const& check()
{
    return t(); //return a temporary object
}

您在这里所做的是返回对临时对象的引用，该对象在函数返回时结束其生命周期。也就是说，如果使用它，您会得到未定义的行为，因为引用对象处没有对象。这并不比：

template<class t>
t const& check()
{
    T x = T();
    return x; // return a local...bang you're dead
}    

更好的测试是：

template<class T>
T check()
{
    return T();
}

函数的返回值是临时的，因此您仍然可以测试是否确实可以将临时值绑定到常量引用。

Answer 2

您的代码给出错误，因为 const ref error 中的 const 限定符被忽略，因为 8.3.2/1 说

Cv 限定引用的格式不正确，除非通过使用 typedef (7.1.3) 或模板类型参数 (14.3) 引入 cv 限定符，在这种情况下，cv 限定符被忽略。`

因此 error 的类型为 int& 而不是 const int& 。

Answer 3

由于英语语法的运作方式，这对于说英语的人来说是一个非常常见的错误。

我认为非常不幸的是，C++ 语法允许两者：

const int // immutable int
int const // immutable int

具有相同的含义。

它并没有让它变得更容易，真的，并且不可组合，因为：

const int* // mutable pointer to immutable int
int* const // immutable pointer to mutable int

当然没有相同的含义。

不幸的是，这对你来说是最重要的，正如 @GMan 所解释的那样。

如果您希望将来避免出现此类错误，请养成在其右侧限定类型（const 和 易失性）的习惯，那么您就可以将 typedef 视为简单的文本替换。

Answer 4

为了与右左规则保持一致，我更喜欢使用“cv”预选赛就像这样。

int const x = 2; // x is a const int (by applying Right Left rule)

int const *p = &x;  // p is a pinter to const int

在你的例子中，我会这样写 const ref error = check(); 正如

ref const error = check<int>(); // parsed as error is a const reference to an integer

@Prasoon Saurav 指出的那样，通过 typedef 引入时 cv 限定符会被忽略，因为正如 @GMan 也说的那样，简历合格的参考文献格式不正确。

因此，该声明实际上如下，这当然是一个错误。

   int &error = check<int>(); 

请查看此了解更多信息。

Answer 5

这是编译的：

typedef const int& ref; 
ref error = check<int>(); 

VC++编译器给出了一些错误的解释：限定符应用于引用类型；被忽略。引用类型必须声明为常量，以后不能应用const。