使用std::call_once实现单例时模板推导失败：无法推导_Callable参数

问题描述 #

尝试借助std::call_once实现单例模式时，编译阶段出现模板推导失败错误，错误信息为："couldn’t deduce template parameter ‘_Callable’"。相关实现代码如下：

template<typename T>
class Singleton_4
{

public:
    template<typename...Args>
    static void  create(Args&&...args) {
        tPtr = new T(std::forward<Args>(args)...);
    }   
public:
    template<typename...Args>
    static T* instance(Args&&...args) {
        std::call_once(flag, &Singleton_4::create, std::forward<Args>(args)...);
        return tPtr;
    }   

public: 
    Singleton_4() = default;
    Singleton_4(const Singleton_4&) = delete;
    Singleton_4(Singleton_4&&) = delete;
    Singleton_4& operator=(const Singleton_4&) = delete;
    Singleton_4& operator=(Singleton_4&&) = delete;

private:
    inline static T* tPtr;
    inline static std::once_flag flag;

};

错误成因 #

Singleton_4::create是一个模板成员函数，当你取它的地址&Singleton_4::create时，编译器无法自动推导要实例化哪个具体版本的create模板（因为Args参数还未确定）。而std::call_once需要明确的可调用对象类型，无法从模糊的模板函数地址中推导出_Callable模板参数，因此触发编译错误。

解决方法 #

有两种常见的修复方式：

方式一：显式指定create的模板参数 #

在传递create的地址时，显式指定其模板参数为Args...，让编译器明确要实例化的版本：

template<typename...Args>
static T* instance(Args&&...args) {
    std::call_once(flag, &Singleton_4<T>::template create<Args...>, std::forward<Args>(args)...);
    return tPtr;
}

注意这里需要加上template关键字，告诉编译器create是一个模板成员函数，避免解析歧义。

方式二：使用lambda表达式包裹调用（更简洁） #

用lambda捕获参数并转发给create，lambda的类型是明确的，std::call_once可以正常推导：

template<typename...Args>
static T* instance(Args&&...args) {
    std::call_once(flag, [&]() {
        create(std::forward<Args>(args)...);
    });
    return tPtr;
}

这种方式无需处理模板函数地址的推导问题，代码可读性更好，也是更推荐的写法。

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