C++ 中带有 typedef 和模板的常量引用 [英] constant references with typedef and templates in c++

问题描述

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

I heard the temporary objects can only be assigned to constant references.

但是这段代码报错

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

得到的错误是类型'int&'的引用初始化无效from 'const int' 类型的表达式

推荐答案

这个:

typedef int& ref;
const ref error;

没有做你认为它会做的事情.考虑一下:

Doesn't do what you think it does. Consider instead:

typedef int* pointer;
typedef const pointer const_pointer;

const_pointer 的类型是int* const，不是 const int *.也就是说，当您说 const T 时，您是在说创建一个类型，其中 T 是不可变的"；所以在前面的例子中，指针(不是被指点者)是不可变的.

The type of const_pointer is int* const, not const int *. That is, when you say const T you're saying "make a type where T is immutable"; so in the previous example, the pointer (not the pointee) is made immutable.

引用不能是const 或volatile.这:

int& const x;

没有意义，因此向引用添加 cv 限定符没有任何效果.

is meaningless, so adding cv-qualifiers to references has no effect.

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

Therefore, error has the type int&. You cannot assign a const int& to it.

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

There are other problems in your code. For example, this is certainly wrong:

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

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

What you're doing here is returning a reference to a temporary object which ends its lifetime when the function returns. That is, you get undefined behavior if you use it because there is no object at the referand. This is no better than:

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

函数的返回值是临时的，所以你仍然可以测试你确实可以将临时对象绑定到常量引用.

The return value of the function is a temporary, so you can still test that you can indeed bind temporaries to constant references.

这篇关于C++ 中带有 typedef 和模板的常量引用的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！