std :: remove_cv, const dizisinin bir dizisini oluşturur?

Question

std::remove_cv<const int[3]> hangi tür üretmek gerekir? int[3] veya const int[3]?

const int[3] doğru bir array of 3 const int olduğunu ?, ve hiçbir üst düzey cv-eleme sahiptir. Yani const int[3] üretmemeli? Gcc/libstdC++ 'nin son sürümü int[3]'u üretiyor. Bu bir hata mı? Neden/neden olmasın?

Answer 1

N4140 §3.9.3 [basic.type.qualifier]/p5, vurgu benim:

Cv-eleme yatan eleman türü eklemek dizi tipine uygulanabilir, böylece gösterim “cv T, T bir dizi türü burada”, bunun elemanları çok kalifiye olan bir dizi anlamına gelir. bir dizi, elemanları aynı zamanda elemanları ile aynı ev-niteliklere sahip olduğu düşünülür cv-nitelikli tip . [Örnek:

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

arr1 ve arr2 hem de tip “5 const char dizisi” ve dizi türü ulaşım kolaylığı const olduğu kabul edilir. - uç örneği]

da CWG issue 1059 bakınız.