如何将重载函数转为依赖名，使C++两阶段查找能找到它？

在你的代码场景中，Foo::a能通过ADL正常调用后续声明的bar，但Foo::b直接取bar的地址会报错——原因在于前者是依赖表达式，编译器会将查找延迟到模板实例化阶段（第二阶段）；后者是独立表达式，第一阶段查找时bar尚未声明，因此触发错误。

除了调整Foo和bar的定义顺序，我们可以通过构造依赖于模板参数的上下文，将地址查找推迟到第二阶段，以下是两种可行技巧：

技巧1：借助辅助模板函数 #

定义一个参数依赖于模板类型的辅助函数，让bar的查找延迟到实例化时：

template <typename TYPE>
struct Foo {
    static constexpr auto a = bar(TYPE());
    
    // 辅助模板函数，参数类型依赖于TYPE，延迟bar的查找
    template <typename T>
    static constexpr auto get_bar_addr(T) -> int (*)(T) {
        return bar;
    }
    
    static constexpr auto b = get_bar_addr(TYPE());
};

struct Bar {};

constexpr int bar(Bar) {
    return 42;
}

int main() {
    auto a = Foo<Bar>::a;
    auto b = Foo<Bar>::b;
    static_assert(b(Bar{}) == 42, "Function address is valid");
}

原理：辅助函数get_bar_addr是模板函数，其参数类型依赖于TYPE。根据C++模板两阶段查找规则，模板实例化时（第二阶段）才会解析bar，此时bar已经声明，且ADL会根据参数Bar定位到目标函数，因此可以正确获取地址。

技巧2：利用constexpr lambda与依赖返回类型 #

通过lambda包裹地址获取逻辑，让lambda的返回类型依赖于模板参数，从而延迟查找：

template <typename TYPE>
struct Foo {
    static constexpr auto a = bar(TYPE());
    
    // 依赖表达式推导返回类型，lambda实例化延迟到模板实例化阶段
    static constexpr auto b = []() -> decltype(bar(TYPE())) (*)(TYPE) {
        return bar;
    }();
};

struct Bar {};

constexpr int bar(Bar) {
    return 42;
}

int main() {
    auto a = Foo<Bar>::a;
    auto b = Foo<Bar>::b;
    static_assert(b(Bar{}) == 42, "Function address is valid");
}

原理：lambda的返回类型由decltype(bar(TYPE()))决定，这是一个依赖表达式，因此lambda的实例化会推迟到模板实例化阶段。此时bar已经声明，编译器可以正确解析其地址。这种方式需要C++14及以上支持constexpr lambda。

核心思路总结 #

两种方法的本质都是将函数地址的查找纳入模板第二阶段查找流程：通过构造依赖于模板参数的表达式（辅助函数参数或lambda返回类型），迫使编译器推迟对bar的查找，直到bar已被声明的实例化阶段，从而绕过第一阶段的查找限制。

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