Dlaczego nie można wymieniać tablic wielowymiarowych?

Question

Mam następujący fragment:

#include <algorithm> 
#include <iostream> 

int main(int argc, char** argv) { 
    int x[2][3]; 
    int y[2][3]; 

    using std::swap; 
    std::cout << noexcept(swap(x, y)) << "\n"; 

    return 0; 
} 

Korzystanie GCC 4.9.0, to drukuje 0. Nie rozumiem, dlaczego.

Zgodnie z normą tam dwa przeciążenia dla std::swap:

namespace std { 
    template<class T> void swap(T& a, T& b) noexcept(
     is_nothrow_move_constructible<T>::value && 
     is_nothrow_move_assignable<T>::value 
    ); 

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

W moim wyrozumienia noexcept specifier na tablicy powinna działać rekursywnie dla wielowymiarowych tablic.

Dlaczego wymienia się tablice wielowymiarowe na noexcept?

---

Starając się znaleźć minimalny przykład, który nadal zachowuje się dziwnie wymyśliłem następujące:

#include <iostream> 

template<class T> struct Specialized  : std::false_type {}; 
template<>  struct Specialized<int> : std::true_type {}; 

template<class T>    void f(T& a) noexcept(Specialized<T>::value); 
template<class T, std::size_t N> void f(T (&a)[N]) noexcept(noexcept(f(*a))); 

int main(int argc, char** argv) { 
    int x, y[1], z[1][1]; 

    std::cout << noexcept(f(x)) << " " 
       << noexcept(f(y)) << " " 
       << noexcept(f(z)) << "\n"; 
} 

używając GCC 4.9.0 Drukuje 1 1 0, ale znowu nie rozumiem dlaczego.

Answer 1

To przeciążenie:

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

nie jest w zakresie aż ;, więc swap(*a, *b) nie uważa tego przeciążenia. Wynika to z:

3.3.2/1 Punktem deklaracji o podanie nazwy jest natychmiast po jej całkowitym declarator (klauzula 8), a przed jego inicjator (jeśli w ogóle) ...

i specyfikacja wyjątków jest częścią deklaratora.