c++ 函数重载解析器可以扩展以增强默认解析器的灵活性，并根据特定规则选择最匹配的函数：扩展解析器采用模板机制，允许指定自定义解析器。扩展解析器可以使用自定义规则隐式转换参数类型。扩展解析器可用于处理可选参数、默认值和自定排序等高级场景。

C++ 函数重载解析器的扩展

简介

函数重载是 C++ 中一項強大的特性，允許我們定義具有相同名稱但參數類型或數目不同的多個函數。這樣，我們可以在程序中使用同一函數名稱，而不必擔心參數匹配問題。

立即学习“C++免费学习笔记（深入）”；

默認函數重載解析器

默認的 C++ 函數重載解析器採用最佳匹配策略，即選擇與函數調用的參數類型和數量最匹配的函數。如果有多個函數具有相同的匹配程度，則會產生錯誤。

擴展函數重載解析器

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

為了在某些情況下提供更靈活的重載解析，我们可以擴展默認的解析器：

// 擴展的函數重載解析器
template<typename Resolver>
struct OverloadResolver {

    // 解析函數調用，返回最匹配的函數
    template<typename... Args>
    auto resolve(Args&&... args) {
        static_assert(std::is_invocable_r_v<Resolver, Args...>);

        // 根據解析器的實現，獲取最匹配的函數
        return Resolver::resolve(std::forward<Args>(args)...);
    }
};

實戰範例

考慮以下函數重載：

// 原始的函數重載
void print(int x);
void print(double x);

默認解析器會選擇與函數調用參數類型最匹配的函數。例如：

print(42);  // 調用 void print(int x)

現在，我們擴展默認解析器，以便將 float 隱含轉換為 double：

// 擴展的函數重載解析器
struct FloatToDoubler {
    template<typename... Args>
    auto resolve(Args&&... args) {
        // 將浮點類型轉換為雙精度類型
        auto args_new = std::tuple_cat(std::make_tuple(...), std::make_tuple((double)std::get<0>(args)...));
        // 呼叫默認解析器
        return std::invoke(OverloadResolver<std::decay_t<decltype(Resolver)>>, std::move(args_new));
    }
};

有了這個解析器，我們現在可以使用 print(float)：

print(3.14f);  // 調用 void print(double x)（已轉換為 double）

其他應用

函數重載解析器的擴展可用於各種應用，例如：

• 隱式類型轉換處理
• 可選參數和默認值
• 自定義排序標準
• 靈活參數傳遞