Могут ли элементы массива инициализироваться самостоятельно?

Question

Рассмотрим следующий код, в котором мы инициализируем часть D на основе другой части D:

struct c { 
    c() : D{rand(), D[0]} {} 
    int D[2]; 
}; 

int main() { 
    c C; 
    assert(C.D[0] == C.D[1]); 
} 

хорошо определена выше программа? Можем ли мы безопасно использовать одну часть того же массива для инициализации другой части?

Answer 1

Могут ли элементы массива инициализироваться самостоятельно?

Да.

struct c { 
    int a[3]; 
    c() : a{4, a[0], 3} {} // a[0] is initialized to 4. 
          // a[1] is initialized to whatever a[0] is. (4) 
          // a[2] is initialized to 3. 
}; 

Но рассмотрим следующий пример:

struct c { 
    int a[3]; 
    c() : a{a[1], 4, a[1]} {} // a[0] is initialized to whatever a[1] is.(Garbage value) 
           // a[1] is initialized to 4. 
           // a[2] is initialized to what a[1] is now (4). 
}; 

Здесь первый элемент в a будет любое значение в a[1], , который, скорее всего, будет значение мусора. Второй элемент инициализирован до 4, а третий элемент инициализируется , что теперь находится в a[1], что является значением 4.

Кроме того, если вы не перечислить все элементы массива внутри {}, элементов, которые не перечислены, будет дефолт инициализирован:

struct c { 
    int a[5]; // notice the size 
    c() : a{a[1], 2, 3, 4}{} // a[0] will get value that is in a[1] 
           // but since a[1] has garbage value, 
           // it will be default initialized to 0. 
           // a[1] = 2 
           // a[2] = 3 
           // a[3] = 4 
           // a[4] is not listed and will get 0. 
}; 

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

struct c { 
    int a[5]; 
    c() : a{1, a[0], 3, 4}{} // a[0] = 1 
           // a[1] = 1 
           // a[2] = 3 
           // a[3] = 4 
           // a[4] is not listed and will get 0. 
}; 

Answer 2

Когда агрегаты (включая массивы) инициализируются из скованного списка, каждый элемент агрегата инициализируется из соответствующего элемента списка («в возрастающем индексе или порядке члена»). Несмотря на то, что я не могу найти точное правило, в котором говорится, что инициализация каждого элемента секвенирована после предыдущего, в стандарте есть пример, который ясно подразумевает, что это предназначение. Пример в [dcl.init.aggr]:

struct S { int a; const char* b; int c; int d = b[a]; }; 
S ss = { 1, "asdf" }; 

инициализирует ss.a с 1, ss.b с "asdf", ss.c со значением выражения формы int{} (то есть, 0), и ss.d с величиной ss.b[ss.a] (то есть, ’s’)

Answer 3

это не является хорошей практикой, чтобы написать D{rand(),D[0]}, потому что, когда запускается конструктор , не обязательно, чтобы первый rand() был выполнен , тогда D [0], все зависит от компилятора, D [0] может быть выполнено , в этом случае d [ 1] будет содержать стоимость мусора. Он полностью зависит от компилятора, он может сначала скомпилировать второй аргумент , а затем первый аргумент или наоборот, выполнение этого оператора может привести к неизвестному поведению.

Answer 4

В соответствии с cppreference.com:

Эффекты совокупной инициализации являются:

Каждый элемент массива или член не-статический класс, в порядке массива индексом/внешний вид в определении класса, инициализируется копией из соответствующего предложения в списке инициализаторов.

Ваш код кажется прекрасным. Как-то смущает.