Ответ 1
Указывая noexcept(true), вы утверждаете, что функция никогда не выдает исключения. Указав noexcept(false) или не указывая ничего, вы не утверждаете, что функция никогда не генерирует исключения.
Итак, это в основном ваш оператор (2), но обратите внимание, что для компилятора это эквивалентно вашему утверждению (1). Если компилятор не уверен, что функция не будет бросать, он должен предположить, что он может.
Соответствующим битом стандарта является С++ 11 15.4/12:
Функция без спецификации исключения или с спецификацией исключения формы
noexcept(constant-expression), где выражение константfalseдопускает все исключения. Спецификация исключения не бросать, если он имеет видthrow(),noexceptилиnoexcept(constant-expression), где константное выражение даетtrue. Функция с исключительной спецификацией исключения не допускает никаких исключений.
Есть только два отклонения от этого правила. Один из них - деструкторы, поэтому никакая спецификация исключений для деструктора не дает деструктору той же спецификации исключения, что и созданная по умолчанию. То есть noexcept(true) тогда и только тогда, когда все функции, которые будут непосредственно вызываться из созданного по умолчанию деструктора, noexcept(true).
Другая функция - освобождение (operator delete) — функция деаллоляции без явной спецификации исключения рассматривается как noexcept(true).