Читая эту статью в Википедии, один из ответивших указал на следующий вопрос:
Конструктор копирования C++, временные объекты и семантика копирования
Я наткнулся на эту строку
В зависимости от компилятора и настроек компилятора результирующая программа может отображать любой из следующих выходных данных:
Разве это не квалифицируется как неопределенное поведение? Я знаю, что в статье написано Depending on the compiler and settings, но я просто хочу прояснить это.
Нет, это не неопределенное поведение. Неопределенное поведение имеет конкретное определение в стандарте (в основном: «поведение, которое может возникнуть при использовании ошибочной программной конструкции или ошибочных данных, для которых настоящий международный стандарт не налагает требований»). В этом случае поведение не указано, но не неопределенный.
Разница в том, что любое выполнение чего-либо с неопределенным поведением делает все поведение вашей программы неопределенным (т.е. может случиться что угодно). С этим конкретным неопределенным поведением может произойти только одно из двух: либо конструктор копирования выполняется, либо нет.
Нет. Поведение определяется как один из выходов в списке. Неопределенное поведение включает демонов, вылетающих из вашего носа.
См.: Носовые демоны
неопределенное поведение сильно отличается от определяемое реализацией поведение, о чем здесь идет речь.
Зависит от того, что вы подразумеваете под неопределенным. Я верю тому, что здесь говорили другие - по определению использования стандартного документа. Но я также знаю, что когда кто-то говорит «либо то, либо это, я не говорю вам, что именно», я думаю об этом как о неопределенном поведении.
Это не имеет большого значения, так как это никогда не должно вызывать ошибки. Когда вы определяете определенные методы, вы должны определять их в соответствии с определенными соглашениями — это своего рода неявный контракт между вами, компилятором и людьми, которые будут использовать и поддерживать ваш код.
В этом случае, независимо от того, получаете ли вы копию-конструкцию и т. д. или оптимизированное поведение, ожидается, что эффект будет одинаковым — вызывающая сторона получает желаемое значение. Если ваш конструктор копирования печатает "Hello World!" или имеет другие неуместные побочные эффекты, он не реализует ожидаемое поведение конструктора, поэтому вина за нарушение контракта лежит на вас.
