模板专用化与数组，标准::is_array

我玩模板专业化和SFINAE。

至于下面的例子，事情似乎很容易：

    template <class T>
    void Do(T t, typename std::enable_if<std::is_integral<T>::value >::type* = 0)
    {
        cout << "is integer" << endl;
    }
    template <class T>
    void Do(T t, typename std::enable_if<std::is_floating_point<T>::value >::type* = 0)
    {
        cout << "is float" << endl;
    }

不，我尝试了std：：is_array，但从未使用过std：：is_array的专业化。

所以我尝试了为什么is_array永远不匹配：

    template <int num>
    void Do( int a[num])
    {
        cout << "int array size " << num << endl;
    }
    void Do( int* x)
    {
        cout << "int*" << endl;
    }
    ...
    int e[] = { 1,2,3 };
    Do(e);
    ...

对我来说，第一个谜团是，"int a[num]"的专业化从未流行过！函数参数始终具有 int* 类型。

如果我使用引用类型，我得到了"正确"的结果：

    template <int num>
    void Do( int (&a)[num])
    {
        cout << "int array size " << num << endl;
    }
    void Do( int* &x)
    {
        cout << "int*" << endl;
    }

所以我的问题来了：std：：is_array 与模板函数参数结合使用是否有合理的用法？我知道那件事

    cout << boolalpha << std::is_array<decltype(e)>::value << endl;

会给我正确的结果。但是手动声明模板选择不会给我任何功能附加。我有什么方法可以检测（有或没有 SFINAE）函数参数的模板专用化是否适合数组？