Могут ли нарушения контракта привести к STD :: прекратить функции noExcept? ⇐ C++

[Anonymous]

У меня есть какой-то код в следующем стиле: < /p>

Код: Выделить всё

struct S {
private:
T* resource;

public:
S(T* r) : resource{r} {
if (r == nullptr) {
throw std::invalid_argument(":(");
}
}
};
< /code>
Я, очевидно, не должен пометить этот конструктор noexcept < /code>, потому что он бросает исключение.
Однако что, если я напишу это с помощью C ++ 26 контрактов?S(T* r) noexcept pre(r != nullptr) : resource{r} {}

basic.contract.handler], похоже, не гарантирует, что обработчик нарушения контракта не нарушает. Могу ли я сделать этот конструктор noexcept ? Применяется ли noExcept только к корпусу функции, а не к контрактам?


Подробнее здесь: https://stackoverflow.com/questions/797 ... -functions