为何std::make_shared不支持模板实参推导？明明部分类型可从值推导

首先要明确：C11引入std::make_shared时，类模板实参推导还未成为标准特性（该特性直到C17才加入）。而std::make_shared作为函数模板，其设计核心是强制开发者明确指定目标对象类型，避免推导带来的歧义与意外行为。

具体原因可归纳为几点：

• 构造函数重载引发歧义：多数类型存在多个重载构造函数，单一参数可能匹配多种构造逻辑。比如传入10给std::string，推导结果是std::string(10, '\0')还是std::string(std::to_string(10))？模板推导无法判断开发者的真实意图。
• 隐式转换导致预期外结果：允许推导时，传入参数会被隐式转换为推导类型，极易偏离开发者预期。比如想构造std::shared_ptr<int>却传入5.0，推导会生成double类型的智能指针，完全不符合需求。
• API兼容性与设计一致性：早期智能指针辅助函数（如std::make_unique最初也不支持推导，C++14才补充推导版本）的设计逻辑偏向"明确性优先"，std::make_shared因历史兼容性延续了这一原则，避免因推导引入潜在的代码破坏风险。

你提到的std::make_shared(5f)能推导float的场景，仅适用于单一构造函数的简单类型。一旦涉及复杂类型，推导要么失效，要么产生错误结果。标准库的设计始终优先保障安全性与代码可读性，而非仅追求语法便利。

反例：若允许推导，std::make_shared("hello")会推导为const char*类型的智能指针，但绝大多数开发者实际想构造的是std::string类型，这会直接导致逻辑错误。

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