noexcept (выражение) - где выражение - это функция noexcept, которая на самом деле генерирует

Question

Глядя на раздел 5.3.7 C++ 11 Spec (n3485), примечание 3 говорит, что результат noexcept (expr) неверен, если:

... потенциально оцениваемый вызов функции ..., у которой нет спецификаций исключения исключающих исключений ... потенциально-оцененное выражение-броузер ... потенциально оцениваемый dynamic_cast. .. a потенциально оцененное выражение типа ...

Имеет ли «потенциальная оценка» ted "означает, что он сверлит вниз (совсем нет? немного?), чтобы определить, может ли одно из условий привести к ложному?

Я нахожу, что (в тестовом коде, а не в приложении) функция, которая утверждает, что она не существует, но делает, по сути, бросок (даже если во всех случаях) все равно будет считаться неэксклюзивным. Непонимание спецификации или код в следующем примере не так?

double calculate(....) noexcept { throw "haha"; } // using simpsons::nelson 

bool does_not_throw = noexcept(calculate()); 

Согласно Clang 3.3, этот тест говорит, что вычисление() не выбрасывает.

Answer 1

Все, что он делает, это проверка того, что выражение делает, чтобы определить, будут ли выражения выражения вызывать исключение. Он не проверяет фактический код, который потенциально может быть вызван. Если одним из выражений является вызов функции, который явно не указан noexcept, то предполагается, что он может генерировать исключения.

Или, по-другому, он проверяет, все ли функции, вызываемые в выражении, - noexcept. Это все.

Согласно Clang 3.3, этот тест говорит, что вычисление() не выбрасывает.

И это правда. Поскольку calculate определяется как noexcept, если он пытается испустить исключение, будет называться std::terminate. Поэтому никакие исключения не будут испускаться функцией.