Является ли эта короткая программа легальной C++?

Question

при решении теста на http://cppquiz.org я нашел этот интересный кусок кода:

#include <iostream> 

int f(int& a, int& b) { 
    a = 3; 
    b = 4; 
    return a + b; 
} 

int main() { 
    int a = 1; 
    int b = 2; 
    int c = f(a, a);// note a,a 
    std::cout << a << b << c; 
} 

Мой вопрос заключается в этой программе правовой C++ или оно не? Я обеспокоен строгим псевдонимом.

Answer 1

Вы упомянули строгий псевдоним - но strict aliasing is concerned with aliases of different types. Здесь это не применимо.

Нет правила, запрещающего этот код. Это моральный эквивалент следующего кода:

int x = 42; 
int& y = x; 
int& z = x; 

Или, более релевантно, это эквивалентно тому, что несколько дочерних узлов относятся к одному родительскому узлу в древовидной структуре данных.

Answer 2

Да, это законно.

Я мог формально доказать это только путем цитирования большинства стандартного текста на C++.

Вы передаете две ссылки, обе из которых относятся к одному и тому же объекту, что отлично. Затем вы назначаете новые значения этому отдельному объекту. Также хорошо.