Блог

Текстовое сообщение об ошибке:

Я изучаю книгу C Primer и сталкиваюсь с проблемой, указанной ниже, при написании ответа для одного упражнения:

 #include<iostream>
#include<vector>

using namespace std;

int main() {
int i  = 3;
const int ci = 3;
size_t si = 3;
const size_t csi = 3;
int ia[i];
int cia[ci];
int sia[si];
int csia[csi];
int another_a[] = {1,2,3};

int *pi = begin(ia);       // error here
// no instance of overloaded function "begin" matches the argument list -- 
// argument types are: (int [i])
int *pci = begin(cia);
int *psi = begin(sia);     // error here
// no instance of overloaded function "begin" matches the argument list -- 
// argument types are: (int [si])
int *pcsi = begin(csia);
int *p_ano = begin(another_a);

vector<int> v = {1,3,4};
const int m = v.size();
const size_t n = v.size();
int ma[m];
int na[n];
int *pm = begin(ma);    // error here
// no instance of overloaded function "begin" matches the argument list -- 
// argument types are: (int [m])
int *pn = begin(na);    // error here
// no instance of overloaded function "begin" matches the argument list -- 
// argument types are: (int [n])

system("pause");
return 0;
}
  

Я могу понять, что первые две ошибки связаны с тем, что эти два массива не определены с использованием постоянной переменной.
Но почему в последних двух, даже если я преобразовал размер вектора в постоянную переменную, компилятор все равно выдает ошибку?

Я совершенно сбит с толку этим, я был бы очень признателен за ваш любезный ответ или обсуждение, независимо от того, работает это или нет.

Прежде всего, вы используете расширение компилятора, но подробнее об этом позже.

Стандартная begin перегрузка, которая работает для вас, — это шаблон, который принимает ссылку на массив размером, являющимся постоянным выражением. В двух словах, константные выражения — это те выражения, которые компилятор может оценить и узнать значение во время компиляции.

Постоянное целое число, инициализированное постоянным выражением типа const int ci = 3; , может использоваться везде, где требуется постоянное выражение. So ci — это, по сути, само константное выражение (равное 3).

В современном C есть способ выделить такие переменные в качестве предполагаемых постоянных выражений, это constexpr спецификатор. Итак, вы могли бы определить ci следующим образом:

 constexpr int ci = 3;
  

Это точно так же, как ваш исходный код. Но то же самое не будет работать для const int m = v.size(); . Потому что constexpr требуется истинное постоянное выражение в качестве инициализатора, в отличие от const . Для const переменной не обязательно постоянное выражение. Это может быть просто переменная времени выполнения, которую вы не можете изменить. И это в случае с m .

Поскольку m это не постоянное выражение, то, что вы определили, является массивом переменной длины. Функция C, которая иногда вводится компиляторами C в качестве расширения. И это не соответствует std::begin шаблону, который ожидает, что экстент массива будет постоянным выражением.

Объявление массивов с непостоянными индексами не является стандартом c .

Если вам нужны массивы с динамическим размером, используйте std::vector .

Объявление переменной как const не делает ее константой времени компиляции (необходимой для объявления массива фиксированного размера), это просто означает, что вы не можете изменить ее после ее объявления.