如何将命名空间中的函数模板导入本地命名空间并保留模板推导？

你的问题根源在于：用模板函数指针实现的是变量模板，变量模板的模板参数无法通过函数调用的实参推导，因此必须显式指定所有参数，导致失去原函数模板的推导能力。以下是两种可行的解决方法：

方法一：使用using声明导入函数模板（C++17及以上推荐） #

直接通过using将命名空间内的函数模板导入当前命名空间，完全保留原模板的参数推导能力：

namespace sft
{
template <typename To, typename From>
auto safe_cast(From from) -> To
{
    // assert cast
    return static_cast<To>(from);
}
} // namespace sft

// 将sft::safe_cast导入全局命名空间
using sft::safe_cast;

int main()
{
    // 仅需指定To类型，From会自动推导为int
    return safe_cast<char>(-300);
}

C++17开始支持用using声明直接导入函数模板，导入后的safe_cast调用方式与原命名空间内的版本完全一致，无需手动指定第二个模板参数。

方法二：编写转发函数模板（兼容C++11/14） #

如果项目使用C++17之前的标准，可以定义一个签名完全匹配的转发模板，将调用转发给原函数：

namespace sft
{
template <typename To, typename From>
auto safe_cast(From from) -> To
{
    // assert cast
    return static_cast<To>(from);
}
} // namespace sft

// 全局命名空间的转发模板
template <typename To, typename From>
auto safe_cast(From from) -> To
{
    return sft::safe_cast<To, From>(from);
}

int main()
{
    // 同样支持自动推导From类型
    return safe_cast<char>(-300);
}

这个转发模板与原模板的参数规则完全一致，编译器会自动推导From类型，实现和原函数相同的调用体验。

为什么原方法失效？ #

你定义的是变量模板：

template <typename To, typename From>
constexpr To (*safe_cast)(From) = &sft::safe_cast<To, From>;

变量模板的实例化需要先确定所有模板参数（To和From），编译器无法通过后续传入的函数实参推导From——因为必须先确定函数指针的类型，才能执行调用，因此必须显式指定两个模板参数，这就是报错的原因。

内容的提问来源于stack exchange，提问作者Tomáš Nadrchal