Привет,
объясните, пожалуйста, вот этот код из STL:

template <class T, size_t N>
void swap(T (&a)[N], 
          T (&b)[N]) noexcept(noexcept(swap(*a, *b)));

Здесь условный noexcept. Но почему вообще swap(*a, *b) может кидать исключение? Ведь swap вроде бы гарантированно не кидает исключений?

Здравствуйте, Максим Рогожин, Вы писали:

МР> Ведь swap вроде бы гарантированно не кидает исключений?

struct A {};
void swap (A& a, A& b) { throw 1; }

Здравствуйте, Максим Рогожин, Вы писали:

Мейерс. Эффективное использование C++. Правило 25