C++概念约束模板函数链接未定义问题及通用方案问询

头文件中声明的是无约束的模板函数bar，而cpp文件中定义的是带std::integral约束的模板函数bar——这是两个完全独立的模板实体。当foo<int>在头文件中实例化时，编译器只能看到无约束的bar声明，会生成对无约束bar<int>的调用；但cpp文件里并没有无约束bar的定义，只有约束版本的bar，而约束版本的bar<int>仅在被直接调用（比如bar(5)）时才会触发实例化，因此链接器找不到对应符号。

方案1：将带约束的bar声明移至头文件 #

把bar的约束版本声明放在头文件中，让编译器在实例化foo时能直接匹配到正确的模板：

// my.hpp
#include <concepts>

template<std::integral value_type>
void bar(value_type value);

template <typename value_type>
void foo(value_type value)
{
    bar(value); // 无需显式指定模板参数，模板匹配会自动处理
}

// my.cpp
#include "my.hpp"
#include <print>

template<std::integral value_type>
void bar(value_type value)
{
    std::println("bar(integral[{}])", value);
}

// 可按需添加其他约束的bar重载，比如浮点类型
// template<std::floating_point value_type>
// void bar(value_type value) { ... }

int main()
{
    foo(6); // 正常编译运行，输出bar(integral[6])
}

方案2：显式实例化需要的bar特化 #

如果需要隐藏bar的约束细节，可在cpp文件中显式实例化所有可能被foo调用的bar特化版本：

// my.cpp
#include "my.hpp"
#include <print>
#include <type_traits>

template<std::integral value_type>
void bar(value_type value)
{
    std::println("bar(integral[{}])", value);
}

// 显式实例化bar<int>，供foo<int>调用
template void bar<int>(int);

// 若需要支持其他整数类型，如long，也需显式实例化
// template void bar<long>(long);

int main()
{
    foo(6); // 正常编译运行
}

方案3：标签分发模式（灵活分组类型） #

通过标签分发统一头文件接口，cpp中按类型分组实现逻辑，兼顾封装性和灵活性：

// my.hpp
#include <type_traits>

namespace detail {
    // 声明各类型分组的实现接口
    template<typename T>
    void bar_impl(T value, std::integral_constant<int, 0>);
    template<typename T>
    void bar_impl(T value, std::integral_constant<int, 1>);
}

template<typename T>
void bar(T value) {
    if constexpr (std::integral<T>) {
        detail::bar_impl(value, std::integral_constant<int, 0>{});
    } else if constexpr (std::floating_point<T>) {
        detail::bar_impl(value, std::integral_constant<int, 1>{});
    }
    // 可添加更多类型分支
}

template<typename T>
void foo(T value) {
    bar(value);
}

// my.cpp
#include "my.hpp"
#include <print>

namespace detail {
    template<typename T>
    void bar_impl(T value, std::integral_constant<int, 0>) {
        std::println("bar(integral[{}])", value);
    }

    template<typename T>
    void bar_impl(T value, std::integral_constant<int, 1>) {
        std::println("bar(floating[{}])", value);
    }
}

int main()
{
    foo(6);
    foo(3.14);
}

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