c++ - 根据模板参数将函数标记为 noexcept

Question

拿这个代码:

template <class T>
void my_func() { T::some_method(); }

int main() {
    std::cout << (noexcept(my_func<SomeClass>()) ? "noexcept" : "can throw") << std::endl;
    return 0;
}

这将始终打印出 my_func()可以扔，即使 SomeClass::some_method()标记为 noexcept . (至少使用 gcc 7.4.0 和 -std=c++17)

是否有一种实用的方法可以让编译器检测函数是否为 noexcept或不取决于模板参数？

我唯一能想到的就是使用 std::enable_if :

template <class T>
std::enable_if_t<true == noexcept(T::some_method())>
my_func() noexcept { T::some_method(); }

template <class T>
std::enable_if_t<false == noexcept(T::some_method())>
my_func() { T::some_method(); }

但它占用大量空间并导致代码重复。

Answer 1

noexcept规范有一个采用 bool 值的版本。

template <class T>
void my_func() noexcept(noexcept(T::some_method())) { T::some_method(); }

现在它将有条件地为 noexcept，基于表达式 T::some_method() .