Tại sao hoán đổi các mảng đa chiều không phải là ngoại lệ?

Question

Tôi có đoạn như sau:

#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; 
} 

Sử dụng GCC 4.9.0, đây in 0. Tôi không hiểu tại sao.

Theo tiêu chuẩn có hai quá tải cho 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))); 
} 

Trong sự hiểu biết của tôi noexcept specifier cho mảng nên làm việc một cách đệ quy cho mảng đa chiều.

Tại sao hoán đổi các mảng đa chiều không phải là noexcept?

---

Trong khi cố gắng tìm một ví dụ rất nhỏ mà vẫn cư xử kì lạ tôi đã đưa ra như sau:

#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"; 
} 

Sử dụng GCC 4.9.0 này in 1 1 0, nhưng một lần nữa tôi không hiểu tại sao.

Answer 1

quá tải này:

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

không nằm trong phạm vi cho đến khi ;, vì vậy swap(*a, *b) không xem xét tình trạng quá tải này. Điều này là vì:

3.3.2/1 Điểm kê khai cho một tên là ngay sau khi declarator hoàn chỉnh của nó (khoản 8) và trước khi khởi tạo của nó (nếu có) ...

và đặc tả ngoại lệ là một phần của người khai báo.