这种情况下能否将C++模板类的构造函数设为private？

问题根因 #

你的理解完全正确，模板类的不同实例（如Foo<int>和Foo<float>）属于完全独立的类型，默认没有互相访问私有成员的权限，因此Foo<int>::bar调用Foo<float>的私有构造函数会触发编译报错。

解决方案1：声明所有Foo模板实例互为友元（最简单常用） #

只需要在Foo类的定义中添加一行友元声明，允许任意Foo<U>实例访问当前Foo<T>的私有成员即可，既保证构造函数对外部用户私有，又能满足内部bar函数的构造需求：

template<typename T>
class Foo
{
    // 新增友元声明：所有Foo模板的实例互为友元
    template<typename U>
    friend class Foo;

private:
    Foo(/*args*/)
    {}

public:
    static Foo<T> create(/*args*/)
    {
        return Foo<T>();
    }

    template<typename U>
    Foo<U> bar(/*args*/)
    {
        return Foo<U>();
    }
};

int main()
{
    auto fi = Foo<int>::create();
    auto ff = fi.bar<float>();
    (void)ff;

    return 0;
}

该方案写法简单，无额外运行时开销，完全满足你「强制用户仅通过create实例化对象」的要求，外部代码仍然无法直接调用私有构造函数。

解决方案2：仅对bar成员模板开放友元权限（更严格的访问控制） #

如果你不想开放所有Foo实例的全部私有访问权限，只想单独允许bar函数访问其他Foo实例的构造函数，可以单独为bar成员模板声明友元，需要补充前置声明：

// 前置声明Foo类模板
template<typename T>
class Foo;

// 前置声明bar成员模板
template<typename T>
template<typename U>
Foo<U> Foo<T>::bar(/*args*/);

template<typename T>
class Foo
{
    // 仅给所有Foo<T>::bar函数开放友元权限
    template<typename U>
    template<typename V>
    friend Foo<V> Foo<U>::bar(/*args*/);

private:
    Foo(/*args*/)
    {}

public:
    static Foo<T> create(/*args*/)
    {
        return Foo<T>();
    }

    template<typename U>
    Foo<U> bar(/*args*/)
    {
        return Foo<U>();
    }
};

该方案访问控制粒度更细，但写法更繁琐，需要严格保证函数签名和前置声明完全匹配，普通场景下优先使用方案1即可。

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