如何让const char数组版函数优先于const char*版进行重载解析？

你猜的没错，C++重载解析规则里，非模板函数的优先级高于模板函数。所以当字符串字面量可以隐式转换为const char*时，会优先匹配那个非模板的append(const char*)，哪怕数组版本是精确匹配。

要在保留const char*版本功能的前提下让数组版优先调用，有几种可行的修改方式：

方法一：将const char*版本改为模板并添加类型约束 #

把原来的非模板const char*重载改成模板函数，并用std::enable_if限制它只接受字符指针类型。这样两个重载都是模板，此时重载解析会优先选择精确匹配的数组版本：

#include <iostream>
#include <type_traits>

struct MyString
{
    MyString() { }
    template <typename ...Ts>
    MyString(Ts&& ... args)
    {
        append(std::forward<Ts>(args)...);
    }

    // 仅当T是char指针类型时才实例化此模板
    template <typename T>
    std::enable_if_t<std::is_same_v<std::remove_cv_t<std::remove_pointer_t<T>>, char>, void>
    append(T str)
    {
        std::cout << "append const char* called\n";
    }

    template <int N>
    void append(const char(&arr)[N])
    {
        std::cout << "append arr[N] called \n";
    }
};

int main()
{
    MyString s;
    s.append("Imagine some really long string"); // 调用数组版本
    const char* ptr = "test pointer";
    s.append(ptr); // 调用const char*版本
}

方法二：用SFINAE排除数组类型对指针模板的匹配 #

另一种思路是让指针模板自动忽略数组类型的参数，这样传入字符串字面量时，只有数组版本的重载会被匹配：

#include <iostream>
#include <type_traits>

struct MyString
{
    MyString() { }
    template <typename ...Ts>
    MyString(Ts&& ... args)
    {
        append(std::forward<Ts>(args)...);
    }

    // 仅当参数不是数组类型时，才启用此指针重载
    template <typename T>
    std::enable_if_t<!std::is_array_v<std::remove_reference_t<T>>, void>
    append(const T* str)
    {
        static_assert(std::is_same_v<std::remove_cv_t<T>, char>, "仅支持char类型指针");
        std::cout << "append const char* called\n";
    }

    template <int N>
    void append(const char(&arr)[N])
    {
        std::cout << "append arr[N] called \n";
    }
};

int main()
{
    MyString s;
    s.append("Imagine some really long string"); // 调用数组版本
    const char* ptr = "test pointer";
    s.append(ptr); // 调用const char*版本
}

原理说明 #

修改后，两个append重载都是模板函数。根据C++重载解析规则，当多个模板重载都可行时，会选择匹配程度更高的那个：

• 字符串字面量传入时，数组版本是精确匹配（直接推导数组大小N），不需要任何类型转换
• 指针版本需要将数组隐式转换为const char*，匹配度更低

因此数组版本会被优先选中，同时真正的const char*指针传入时，仍然能正确匹配指针版本，保留了原有的功能。

内容的提问来源于stack exchange，提问作者Zebrafish