次の c++11 コードがあります。
#include <iostream>
#include <type_traits>
template<typename T> void overload(T&& t);
template<> void overload<char&>(char& t) { std::cout << "char& called" << std::endl; }
template<> void overload<const char&>(const char& t) { std::cout << "const char& called" << std::endl; }
int main() {
std::cout << "const char: " << ((std::is_const<const char>::value)?"const":"non-const") << std::endl;
std::cout << "const char&: " << ((std::is_const<const char&>::value)?"const":"non-const") << std::endl;
const char c = 'c';
overload(c);
return 0;
}
実行すると取得します
const char: const
const char&: non-const
const char& called
std::is_const
オーバーロードの呼び出しでは constness が表示されるのに、2 番目の呼び出しでは constness が表示されないのはなぜだろうと思っています。
何かご意見は?
この質問は 、テンプレート化された関数と const 修飾子の型推論と非常に関連していますが、それでも少し異なります。