Это C++ наблюдение за другим вопросом моего
В прежние дни до ISO C следующий код никого не удивил бы:
struct Point {
double x;
double y;
double z;
};
double dist(struct Point *p1, struct Point *p2) {
double d2 = 0;
double *coord1 = &p1->x;
double *coord2 = &p2->x;
int i;
for (i=0; i<3; i++) {
double d = coord2[i] - coord1[i]; // THE problem
d2 += d * d;
}
return sqrt(d2);
}
К сожалению, эта проблемная строка использует арифметику указателя (p[i]
по определению *(p + i))
вне любого массива, который явно не допускается стандартом. Проект 4659 для C++ 17 говорит в 8.7 [expr.add]:
Если выражение P указывает на элемент x [i] объекта массива x с n элементами, выражения P + J и J + P (где J имеет значение j) указывают на (возможно-гипотетический) элемент x [i + j], если 0 <= я + j <= n; в противном случае поведение не определено.
И (ненормативная) заметка 86 делает ее еще более явной:
Для этой цели считается, что объект, который не является элементом массива, относится к одноэлементному массиву. Указатель, предшествующий последнему элементу массива x из n элементов, считается эквивалентным указателю на гипотетический элемент x [n] для этой цели.
В принятом ответе упомянутого вопроса используется тот факт, что язык C принимает тип, пишущий через союзы, но я никогда не мог найти эквивалент в стандарте C++. Поэтому я предполагаю, что объединение, содержащее анонимный элемент структуры и массив, приведет к Undefined Behaviour
в C++ - это разные языки...
Вопрос:
Что может быть подходящим способом для итерации через члены структуры, как если бы они были членами массива в C++? Я ищу способ в текущих версиях (C++ 17), но также приветствуются решения для более старых версий.
Отказ от ответственности:
Очевидно, что это относится только к элементам того же типа, и отступы могут быть обнаружены с помощью простого assert
как показано в этом другом вопросе, поэтому дополнения, выравнивание и смешанные типы здесь не являются моей проблемой.