为什么两个模板函数的输出不同?

时间:2018-08-07 07:06:16

标签: c++ templates auto type-deduction

为什么两个模板函数/hello/routeFuncOne的输出不同?

FuncTwo

测试这两个功能的代码:

template <class T>
T * FuncOne(T & v)
{
    auto a = reinterpret_cast<const volatile char &>(v);
    auto b = & const_cast<char&>(a);
    auto c = reinterpret_cast<T *>(b);
    return c;    
}

template <class T>
T * FuncTwo(T & v)
{
    return reinterpret_cast<T *>(& const_cast<char&> (reinterpret_cast<const volatile char &>(v)));
}

示例输出:

int main()
{       
  nonaddressable na;
  nonaddressable * naptr = FuncOne(na); 
  cout << "FuncOne: naptr = " << naptr << endl;
  naptr = FuncTwo(na); 
  cout << "FuncTwo: naptr = " << naptr << endl;

  nonaddressable * nbptr = new nonaddressable;
  cout << "Address of nbptr = " << nbptr << endl;  
  cout << "FuncOne: nbptr = " << FuncOne(*nbptr) << endl; 
  cout << "FuncTwo: nbptr = " << FuncTwo(*nbptr) << endl;
}

从比较FuncOne: naptr = 0x61fddf FuncTwo: naptr = 0x61fe2f Address of nbptr = 0x7216e0 FuncOne: nbptr = 0x61fddf FuncTwo: nbptr = 0x7216e0 的值可以看出,nbptr给出了预期的正确输出。但是,为什么FuncTwo不能提供相同的输出,而仅仅是写FuncOne的另一种方式呢?

使用的编译器:g ++ 7.1.0

1 个答案:

答案 0 :(得分:4)

FuncOne并不是写FuncTwo的另一种方式。如果您替换了该行

 auto a = reinterpret_cast<const volatile char &>(v);

作者

 auto& a = reinterpret_cast<const volatile char &>(v);

否则,const volatile char&a中的引用将被删除。