# 環境処理系は clang 6.0.1 と gcc 7.3.0 の 32 ビット版で、 MSYS2 上で使っています。 # 問題 `using` を用いて二次元配列型の別名 `matrix` を定義したのですが、念のために要素の数として与えられた数値が正の数かどうかを `std::enable_if` でチェックするようにしたところ、動作が変わってしまいました。どうしてこのような差が生まれるのでしょう？ # ソースコード具体的にいうと、以下のコードでマクロで分岐している箇所を切り替えたような場合です。 ```cpp #include #include #ifndef ENABLE_SIZE_CHECKING template using matrix = T[Y][X]; #else template using matrix = typename std::enable_if<(Y>0)&&(X>0), T[Y][X]>::type; #endif template std::ostream& operator<<(std::ostream& os, const matrix& mat) { for (auto& i: mat) { for (auto j: i) os << j << ','; os << std::endl; } return os; } int main() { matrix mat; for (auto& line: mat) for (auto& element: line) element = 10; std::cout << "array rank is " << std::rank::value << std::endl; std::cout << mat <