Почему std :: is_const <const int&> :: значение оценивается как false?

Question

Это спина от вопроса How to check if object is const or not?.

Я был удивлен увидеть следующую программу

#include <iostream> 
#include <type_traits> 

int main() 
{ 
    std::cout << std::boolalpha; 
    std::cout << std::is_const<const int&>::value << "\n"; 
} 

произвел этот выход

 
false 

В каком контексте это имеет смысл думать о const int& как неконстантного типа?

Answer 1

Возможно, это будет легче понять этот пример

std::cout << std::is_const<int const *>::value << "\n"; // pointer to const int 
std::cout << std::is_const<int * const>::value << "\n"; // const pointer to int 

Выход:

false 
true 

Первый тип является указателем на const int, а во втором сам int *const является , Следовательно, это приводит к true, а первый - false. Точно так же у вас есть ссылка на const int. Если int& const действительны, это приведет к true.

Answer 2

A const квалификатор по ссылке означает, что значение не может быть изменено по ссылке. Его все еще можно изменить другими способами. Например:

int a = 1; 
const int &b = a; 

std::cout << b << std::endl; // Prints 1 

a = 2; 

std::cout << b << std::endl; // Prints 2 

Таким образом, вы не можете предположить, что значение const ссылки фактически постоянным.