шаблоны — уточнение хотел повторно. C ++ type_traits

Похоже, что для проверки на константу необходимо проверить параметр-шаблон, но для проверки на rvalue-ness необходимо проверить фактический параметр. (Это использует VC ++ 2012.) Этот код иллюстрирует то, что я имею в виду:

#include <type_traits>
#include <string>
#include <iostream>

using namespace std;

template<class T>
void f(T& x) {
cout << "f() is_const<T> and is_const<decltype<x)>" << endl;
cout << is_const<T>::value << endl; // Prints 1 when arg is const
cout << is_const<decltype(x)>::value << endl; // Prints 0 when arg is const
}

template<class T>
void g(T&& x) {
cout << "g() is_const<T> and is_const<decltype<x)>" << endl;
cout << is_const<T>::value << endl; // Prints 0 when arg is const
cout << is_const<decltype(x)>::value << endl; // Prints 0 when arg is cons
cout << "g() is_rvalue_reference<T> and is_rvalue_reverence<decltype(x)>" <<endl;
cout << is_rvalue_reference<T>::value << endl; // Prints 0 when arg is rvlaue
cout << is_rvalue_reference<decltype(x)>::value << endl; // Prints 1 when arg is rvalue
}

int main()
{
const std::string str;
f(str); // const argument
cout << endl;
g(std::string("")); // rvalue argument
return 0;
}

Я изо всех сил пытаюсь понять, почему это так. Может кто-нибудь объяснить или указать мне статью, которая это объясняет? При необходимости я буду копаться в стандарте C ++ 11. Кто-нибудь знает соответствующие разделы?