Рассмотрим следующую функцию:
// Declaration in the .h file
class MyClass
{
template <class T> void function(T&& x) const;
};
// Definition in the .cpp file
template <class T> void MyClass::function(T&& x) const;
Я хочу сделать эту функцию noexcept, если тип T не является конструируемым.
Как это сделать ? (Я имею в виду, что такое синтаксис?)
Как это:
#include <type_traits>
// Declaration in the .h file
class MyClass
{
public:
template <class T> void function(T&& x) noexcept(std::is_nothrow_constructible<T>::value);
};
// Definition in the .cpp file
template <class T> void MyClass::function(T&& x) noexcept(std::is_nothrow_constructible<T>::value);
Но также см. Почему шаблоны можно реализовать только в заголовочном файле?. Вы (как правило) не можете реализовать шаблон в исходном файле.
noexcept может принимать выражение, и если значение выражения истинно, функция объявляется, что он не генерирует никаких исключений. Итак, синтаксис:
class MyClass
{
template <class T> void function(T&& x) noexcept (noexcept(T()));
};
// Definition in the .cpp file
template <class T> void MyClass::function(T&& x) noexcept (noexcept(T()))
{
}
Изменить: использование std::is_nothrow_constructible<T>::value, как показано ниже, немного менее грязно в этом случае.
noexcept(noexcept(T())) не означает, что T можно построить без исключения; это означает, что T может быть создан и уничтожен без исключения. Вам нужно использовать noexcept(noexcept(::new (nullptr) T())).
- person Zizheng Tai; 19.07.2016
std::is_nothrow_constructible- person Jarod42 schedule 30.12.2013T foo;, но с функцией, принимающей универсальную ссылку, интересно, имеете ли вы в виду не конструируемость из аргумента функции а-ляT foo{std::forward<T>(x)};. - person Casey schedule 30.12.2013