std :: remove_cv는 const T의 배열에서 어떤 유형을 생성해야합니까?

Question

std::remove_cv<const int[3]>은 어떤 종류의 것을 생산해야합니까? int[3] 또는 const int[3]?

const int[3]은 array of 3 const int이며, 최상위 레벨의 cv-qualifier는 없습니다. 그러니까 const int[3]을 생산하지 않아야합니까? gcc/libstdC++ 최신 버전은 int[3]을 생성하고 있다고 생각합니다. 이거 버그 야? 왜 안돼?

Answer 1

N4140 §3.9.3 [basic.type.qualifier]/P5 강조 광산 :

CV-한정어 기본 요소 유형에 첨부 배열 형태에 적용되므로 표기 "cv T, "T이 배열 유형 인 경우 은 요소가 적합하지 않은 배열을 나타냅니다. 요소가 cv-qualified 인 배열 유형 도 요소로 동일한 cv-qualified를 가진 것으로 간주됩니다. [ 예 :

typedef char CA[5]; 
typedef const char CC; 
CC arr1[5] = { 0 }; 
const CA arr2 = { 0 }; 

arr1와 arr2 양자의 타입은 "5 const char 배열"및 이 어레이 형이 const restrict로 간주된다. - 최종 예를]

도 CWG issue 1059 참조하십시오.