C ++プライマー第5版関数テンプレートの特殊化

こんにちは私はC ++プライマー第5版からこのコードを持っています：

主な機能テンプレート：

// first version; can compare any two types
template <typename T>
int compare(T const& x, T const& y)
{
    std::cout << "compare(T const&, T const&)\n";

    if(std::less<T>()(x, y))
        return -1;
    if(std::less<T>()(y, x))
        return 1;
    return 0;
}

文字配列の特殊化：

// second version to handle string literals
template <unsigned N, unsigned M>
int compare(char const(&ar1)[N], char const(&ar2)[M])
{
    std::cout << "compare(char const(&)[N], char const(&)[M])\n";
    return strcmp(ar1, ar2);
}


// special version of compare to handle pointers to character arrays
template <>
int compare(const char* const &p1, const char* const &p2)
{
    std::cout << "compare(char const* const&, char const* const&)\n";

    return strcmp(p1, p2);
}


int main()
{

    const char *p1 = "hi", *p2 = "mom";
    compare(p1, p2); // calls the third version (pointers to character strings)
    compare("hi", "mom"); // calls the template with two nontype parameters
    compare("high", "HIGH"); // error: call ambiguous

    std::cout << "\nDone!\n";
}

• いくつか質問があります：

• バージョンであるcompare配列パラメータを参照してspecializationかoverload？そのパラメータリストはプライマリ関数テンプレートの1つと一致する必要があるため、これは特殊化だと思いますcompare。正しいですか？

• プログラムは、2つの文字配列または同じ長さの2つのリテラル文字列を渡すまで正常に機能します。その場合、コンパイラは私の呼び出しのように呼び出しを解決できませんcompare("high", "HIGH");。

これは、配列パラメーターを含むバージョンが実行可能でないために失敗することを意味しますか？-配列のサイズはその型の一部であると推測するため、異なるサイズの2つの配列を渡すと、2つの異なる型が生成されるため、このバージョンは実行可能ではありませんか？

私のコンパイラの出力：

    error: call of overloaded ‘compare(const char [5], const char [5])’ is ambiguous
     candidate: ‘int compare(const T&, const T&) [with T = char [5]]’|
    candidate: ‘int compare(const char (&)[N], const char (&)[M]) [with unsigned int N = 5; unsigned int M = 5]’

• では、どうすればこの呼び出しを明確にすることができますか？私の推測について教えてください。ありがとう