C++：返回类型为指针的函数模板能否实现自动推导？

原代码无法编译的核心原因是：C++不支持仅通过函数返回值的赋值目标反推函数模板的参数——编译器没办法从int* x = foo();的左侧int*直接推导foo的模板参数T。不过有几种可行方案能让编译器自动推导类型：

方案1：用auto直接推导返回类型 #

如果函数返回的指针类型明确，或模板参数对应底层类型，可以直接让auto推导返回类型：

#include <type_traits>

// 固定返回int*的版本
auto foo() {
    return new int;
}

// 支持任意底层类型的模板版本
template <typename T>
auto foo() {
    return new T; // 返回T*，编译器自动推导返回类型
}

int main() {
    int* x = foo(); // 固定版本可直接编译
    double* y = foo<double>(); // 模板版本需指定底层类型，返回double*
}

方案2：通过函数参数传递类型信息（核心推导方式） #

利用C++优先从函数参数推导模板参数的特性，添加占位参数传递指针类型，让编译器自动推导：

#include <type_traits>

// 模板参数T为指针类型
template <typename T>
T foo(T*) {
    return new std::remove_pointer_t<T>;
}

int main() {
    // 方式1：用nullptr做占位，避免未初始化变量
    int* x = foo(static_cast<int*>(nullptr));
    // 方式2：变量已初始化时可直接传入
    int* y = foo(y);
}

也可以让模板参数对应底层类型，返回指针，写法更直观：

#include <type_traits>

template <typename T>
T* foo(T*) {
    return new T;
}

int main() {
    int* x = foo(static_cast<int*>(nullptr)); // 推导T=int，返回int*
}

方案3：C++17+用std::type_identity辅助推导 #

借助std::type_identity明确传递目标类型，让编译器推导返回的指针类型：

#include <type_traits>

template <typename T>
auto foo(std::type_identity<T>) {
    return new T;
}

int main() {
    int* x = foo(std::type_identity<int>{}); // 推导返回int*
}

方案4：C++20用auto参数简化写法 #

C++20允许用auto作为函数参数，进一步简化类型推导：

#include <type_traits>

auto foo(auto* ptr) {
    return new std::remove_pointer_t<decltype(ptr)>;
}

int main() {
    int* x = foo(static_cast<int*>(nullptr)); // 自动推导返回int*
}

总结：要实现自动推导，核心是给编译器提供模板参数的推导依据——最可靠的方式是通过函数参数传递类型信息，因为C++目前不支持直接从返回值的赋值目标反推函数模板参数。

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