константный спецификатор к decltype

Question

Моей первой попытки использования decltype

vector<int> vals; 
const decltype(&vals[0]) ptr; 

for (const auto& val : vals) 
    ptr = &val;  

не компилируется, жалуясь о назначении только для чтения переменной ptr. То, что я пытаюсь достичь, - ptr быть типа const int*. Как я могу заставить его работать? Благодарю.

Answer 1

std::vector имеет const_pointer typedef. Вы можете использовать это как

decltype(vals)::const_pointer ptr; 

, чтобы получить правильный указатель константный к типу вектора (Live Example).

Answer 2

Ваше заявление ptr в основном const (int *) ptr, или int * const ptr. Таким образом, указатель является постоянным, а не объектами, на которые он указывает. Вы можете либо сделать valsconst, либо, по крайней мере, направить его на const внутри decltype или использовать typedefs std::vector вместо decltype.

Answer 3

Просто не объявляйте указатель, прежде чем он вам понадобится. Затем вы можете вывести его тип (в данном случае желаемый const int*) при инициализации.

Это работает:

std::vector<int> val {1,2,3,4}; 

for (const auto &v : val) { 
    auto p = &v; 
    std::cout << *p; 
} 

Это не удается:

std::vector<int> val {1,2,3,4}; 

for (const auto &v : val) { 
    auto p = &v; 
    *p = 7; 
} 

Answer 4

typedef не текстуальное замена. decltype не является текстовой заменой. Модификатор const применяется ко всему, к чему он применим, он не достигает внутри результата decltype, чтобы изменить самое левое.

Это будет работать, хотя, потому что теперь const применяется к типу элемента, чтобы сделать тип (const int), а затем ptr сделан указатель на что:

const std::remove_reference<decltype(vals[0])>::type * ptr; 

Заметьте, что это не будет работать, так как он бесцельно пытается const -qualify ссылочного типа:

std::add_pointer<const decltype(vals[0])>::type ptr;