C++类的构造函数可以私有吗?

本文探讨了C++中私有构造函数的使用场景,解释了如何通过静态成员函数和友元函数创建对象,以及如何利用私有构造函数限制对象实例的数量,实现单例或限例模式。

通常我们都将构造函数的声明置于public区段,假如我们将其放入private区段中会发生什么样的后果?没错,我也知道这将会使构造函数成为私有的,这意味着什么?

我们知道,当我们在程序中声明一个对象时,编译器为调用构造函数(如果有的话),而这个调用将通常是外部的,也就是说它不属于class对象本身的调用,假如构造函数是私有的,由于在class外部不允许访问私有成员,所以这将导致编译出错。

你于是说:“哈哈。”我们制造了一个似乎无法产生对象的class.哦,当然,对于class本身,我们还可以利用它的static公有成员,因为它们独立于class对象之外,我们不必产生对象也可以使用它们。嗯,看来我们还是为带有私有构造函数的类找到了一个存在的理由。不过我们不应当满足于此,因为看上去应当还有发掘的余地。

首先我们来认真看一下是不是真的无法创建出一个具有私有构造函数的类对象。“呃,可能未必。”你现在也许会这样说。这很好,让我们再来看看为什么,没错,因为构造函数被class私有化了,所以我们要创建出对象,就必须能够访问到class的私有域;但这一点“我们”是做不到的,那么,谁能做得到呢?class的成员可以做得到;但在我们建构出其对象之前,怎么能利用它的成员呢?噢,刚才我们刚刚提到了static公有成员,它是独立于class对象而存在的,当然,它也是公有的,“我们”可以访问得到。假如在某个static函数中创建了该class的对象,并以引用或者指针的形式将其返回(不可以以值的形式返回,想想为什么),我们就获得了这个对象的使用权。下面是例子:

class WonderfulClass
{
public:
       static WonderfulClass* makeAnObject()
       {
              // 创建一个WonderfulClass对象并返回其指针
              return (new WonderfulClass);
       }
private:
       WonderfulClass() { }
};

int main()
{
       WonderfulClass *p = WonderfulClass::makeAnObject();
       ... // 使用*p
       delete p;  // Not neccesary here, but it's a good habit.
       return 0;
}

嗯,这个例子使用了私有构造函数,但它运行得很好:makeAnObject()作为WonderfulClass的静态成员函数,尽心尽责地为我们创建对象:由于要跨函数传递并且不能使用值传递方式,所以我们选择在堆上创建对象,这样即使makeAnObject()退出,对象也不会随之蒸发掉,当然,使用完之后你可不要忘了手工将它清除。

回到前面的思路:除了公有的static成员可以帮助我们访问私有域外,还有没有其它可以利用的“东西”?

噢,你一定想到了使用友元,完全正确。可以使用该类的友元函数或者友元类创建其对象,这里就不举例了。

我们知道没有人会无聊到无缘无故把一个class设为私有,然后再写一个和上面一模一样的makeAnObject()来让它的用户体验一下奇特的感觉。我们也不太相信这只是由于C++的设计原因而导致的一个“顺便的”“特殊的”“无用的”边角功能。它应当是有实际用途的。提醒一下,到了JAVA中你会更容易明白很多静态方法创建对象的原理!!!

嗯,例如,我们想实现这样一个class:它至多只能存在一个,或者指定数量个的对象(还记得标准输入输出流库中那个独一无二的cout吗?),我们可以在class的私有域中添加一个static类型的计数器,它的初值置为0,然后再对makeAnObject()做点手脚:每次调用它时先检查计数器的值是否已经达到对象个数的上限值,如果是则产生错误,否则才new出新的对象,同时将计数器的值增1.最后,为了避免值复制时产生新的对象副本,除了将构造函数置为私有外,复制构造函数也要特别声明并置为私有。

C++中,构造函数的重复定义通常发生在包含它的头文件(`.h`或`.hpp`)被多个源文件(`.cpp`)包含的情况下。为了避免这种情况,可以采取以下策略: 1. **私有化(Private)声明**:如果构造函数不需要外部直接访问,可以在头文件中将其声明为private,仅让包含它的源文件能看到。这样做就不会引起链接阶段的重复定义错误。 ```cpp class MyClass { public: MyClass(); // 私有声明 private: MyClass(MyClass const&); // 私有复制构造函数,防止外部实例化 ... }; ``` 2. **使用`= default`或`= delete`**:如果构造函数应该由编译器提供默认实现,可以添加`= default`;如果想禁止默认构造函数,可以用`= delete`。 ```cpp class MyClass { public: MyClass() = default; // 默认构造函数 ... }; ``` 3. **`#pragma once` 或 `< guards>`**:在头文件开头加上`#pragma once`(Windows)或`#ifndef/#define/#endif`(跨平台),以防止多次包含。 4. **`std::enable_if`**:对于模板构造函数,可以利用SFINAE(Substitution Failure Is Not An Error)机制,在模板定义中处理构造函数。 5. **避免循环依赖**:如果你的A包含了B,而B又包含了A,这种循环引用可能会导致构造函数的重复定义。尽量保持良好的模块结构。 记住,每次修改构造函数的行为(如添加新的参数或返回型等)时,都应确保所有引用它的代码相应更新。同时,检查编译器生成的警告也很重要,它们经常能提示潜在的问题。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值