一个最基础的template疑问

bruceteen

myworkstation 发表于 2013-10-17 14:25
回复 9# bruceteen
这个也失败是因为“rvalue无法转换到lvalue”， (const int)0依然是个rvalue

说不通呀，v 可以实例化为 foo<const int>
而 (const int)0 却实例化为 foo<int>

myworkstation

回复 11# bruceteen


    当foo<const int>时形参为const int& val ,由于0是临时变量是rvalue所以const-reference访问它是合法的，当 (const int)0 时不能改变参数推导过程对T的定义，也就是T首先是个引用，const int与引用是无法转换的。参数推导过程中会同时参考形参和实参的类型，如果你想改变(const int)0的语义应该使用foo<const int>。