如何用单个模板函数同时支持返回栈对象与堆指针？

嘿，这个问题问得挺巧妙的！当然有办法用单个模板同时搞定返回栈上对象和堆上指针这两种需求，核心就是通过模板参数或者标记类型来在编译期决定返回行为。下面给你几个实用的方案，都是C++里常用的技巧：

方案1：bool模板参数 + if constexpr（C++17及以上推荐） #

这个方案最简洁，利用C++17引入的编译期分支if constexpr来避免类型不匹配问题：

#include <memory> // 可选，用于智能指针替代原始指针

template <class Type, bool ReturnHeap = false>
auto ReturnAbstract(int a) {
    if constexpr (ReturnHeap) {
        // 返回堆上智能指针（推荐，更安全）
        return std::make_unique<Type>(a);
        // 如果坚持用原始指针，替换成：return new Type(a);
    } else {
        // 返回栈上对象
        return Type(a);
    }
}

使用示例： #

// 获取栈上对象（默认行为）
auto stack_int = ReturnAbstract<int>(10);
// 获取堆上智能指针
auto heap_int_ptr = ReturnAbstract<int, true>(20);

优点：代码紧凑，调用直观，编译期就能确定分支，完全没有运行时开销。

方案2：标签分发（Tag Dispatch）（兼容C++11及以上） #

如果你的项目还在用C++17之前的版本，标签分发是更稳妥的传统方案：
首先定义两个空的标签类型，用来标记不同的返回行为：

// 仅用于区分重载的标签类型，无实际数据
struct ReturnStackTag {};
struct ReturnHeapTag {};

// 主模板声明
template <class Type, class Tag>
auto ReturnAbstract(int a, Tag);

// 栈返回版本的特化
template <class Type>
Type ReturnAbstract(int a, ReturnStackTag) {
    return Type(a);
}

// 堆返回版本的特化
template <class Type>
Type* ReturnAbstract(int a, ReturnHeapTag) {
    return new Type(a);
}

使用示例： #

auto stack_str = ReturnAbstract<std::string>(5, ReturnStackTag{});
auto heap_double_ptr = ReturnAbstract<double>(3, ReturnHeapTag{});

优点：兼容旧标准，逻辑清晰，编译器会在编译期匹配对应的特化版本，同样没有运行时开销。

方案3：重载+标记参数（简单直观） #

还有一种更轻量化的方式，通过重载函数结合标记参数实现：

template <class Type>
Type ReturnAbstract(int a) {
    return Type(a);
}

// 用nullptr作为标记，区分堆返回版本
template <class Type>
Type* ReturnAbstract(int a, std::nullptr_t) {
    return new Type(a);
}

使用示例： #

auto stack_char = ReturnAbstract<char>('x');
auto heap_int_ptr = ReturnAbstract<int>(100, nullptr);

优点：代码量最少，不需要额外模板参数，但标记参数的可读性不如前两种方案。

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