что такое ", а если" правила?

", а если" правило в основном определяет, какие преобразования реализация может выполнять на легальной программе C++. Короче говоря, все преобразования, которые не влияют на программу"наблюдаемого поведения" (см. ниже для точного определения) запрещены.

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

---

где стандарт вводит это правило?

стандарт C++11 вводит ", а если" правила в пункте 1.9/1:

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

кроме того, пояснительная сноска добавляет:

это положение иногда называют правилом "как если бы", потому что реализация может игнорировать любые требование этого Международный стандарт покуда результат как если бы требование было исполнено, насколько можно определить от наблюдаемое поведение программы. Например, фактическая реализация не должна оценивать часть выражения, если она может выведите, что его значение не используется и что никакие побочные эффекты, влияющие на наблюдаемое поведение программы не производятся.

---

что означает мандат правила точно?

в пункте 1.9 / 5 далее уточняется:

соответствующая реализация выполнение хорошо сформированной программы произведет такое же наблюдаемое поведение как одно из возможных исполнений соответствующего экземпляра абстрактной машины с той же программой и тот же вход. Однако, если какое-либо такое выполнение содержит неопределенную операцию, этот международный Стандарт не накладывает никаких требований на реализация выполнение этой программы с этим вводом (даже не в отношении операций, предшествующих первой неопределенной операции).

стоит отметить, что это ограничение применяется, когда "выполнение хорошо сформированной программы" только и что возможные результаты выполнения программы, которая содержит неопределенное поведение непринужденны. Это также четко указано в пункте 1.9 / 4:

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

наконец, относительно определения "наблюдаемого поведения", пункт 1.9 / 8 гласит следующее:

наименьшие требования к соответствующей реализации являются:

- доступ к летучим объектам оценивается строго по правилам абстрактной машины.

- при закрытии программы, все данные, записанные в файлах должны быть идентичны одному из возможных результатов выполнение программы в соответствии с абстрактной семантикой произвело бы.

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

они в совокупности называются наблюдаемым поведением программы. [ Примечание: более жесткие соответствие между абстрактной и фактической семантикой может быть определено каждой реализацией. - конец Примечание]

---

есть ли ситуации, когда это правило не работает подать заявление?

насколько мне известно, единственное исключение из ", а если" правило-это копирование / перемещение elision, которое разрешено, даже если конструктор копирования, конструктор перемещения или деструктор класса имеют побочные эффекты. Точные условия для этого указаны в пункте 12.8 / 31:

при выполнении определенных критериев реализация может опустить конструкцию копирования / перемещения класса объект, даже если конструктор выбран для операции копирования / перемещения и / или деструктора объекта есть побочные эффекты. [...]