限制可变参数模板类中的构造函数访问

rad i 发表于 Dev

工作和

我想创建一个静态检查的构建器。遵循以下原则：

class HasDough;
class HasCheese;

template <typename ... CurrentTypes>
class Pizza {
    public:
        friend Pizza<> startPizzaMaking();

        Pizza<HasDough, CurrentTypes ...> addDough(){
            return Pizza<HasDough, CurrentTypes ...>();
        }

        Pizza<HasCheese, CurrentTypes ...> addCheese(){
            return Pizza<HasCheese, CurrentTypes ...>();
        }

    public: // I want to change to private
        Pizza() = default;
};


Pizza<> startPizzaMaking() {
    return Pizza<>();
}

像这样使用它：

int main(){
    auto pizza = startPizzaMaking()
        .addDough()
        .addCheese();

    return 0;
}

现在，我可以不加区分地检查当前类型。这样，我可以确保添加了所有内容。

我的问题是：创建新的构建器实例并希望传递当前状态的每一步。为此，构造函数应该是私有的，我将使用friend函数来获取新的构造器。

如何限制对构造函数的访问以强制其他人使用工厂，但在内部仍然可以使用它？

[更新]

简单地将构造函数私有化是行不通的。该代码将扩展为以下内容：

Pizza<HasDough>::addCheese() {
    return Pizza<HasCheese, HasDough>(); // fine with public constructor, not so with private
}

。代词

不同的类模板专业是完全独立的类，彼此之间没有内部访问权限。幸运的是，总有朋友来拯救您的一天。

template <typename ... CurrentTypes>
class Pizza {
    public:
        friend Pizza<> startPizzaMaking();

        Pizza<HasDough, CurrentTypes ...> addDough(){
            return Pizza<HasDough, CurrentTypes ...>();
        }

        Pizza<HasCheese, CurrentTypes ...> addCheese(){
            return Pizza<HasCheese, CurrentTypes ...>();
        }

    private: // OK
        Pizza() = default;

        friend Pizza<> startPizzaMaking();    
        // make every specialisation a friend of every other      <=== this here trick
        template <typename ...> friend class Pizza; 
};

Pizza<> startPizzaMaking() {
    return Pizza<>();
}

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。