为什么两个模板函数/hello/route
和FuncOne
的输出不同?
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
答案 0 :(得分:4)
FuncOne
并不是写FuncTwo
的另一种方式。如果您替换了该行
auto a = reinterpret_cast<const volatile char &>(v);
作者
auto& a = reinterpret_cast<const volatile char &>(v);
否则,const volatile char&
中a
中的引用将被删除。