【C++】类和对象 (下篇)(2)

简介: 【C++】类和对象 (下篇)(2)

二、隐式类型转换

1、概念

隐式类型转换是指当两个不同类型的变量之间进行运算时,编译器会自动将其中一个变量的类型转换为另一个变量的类型;在之前 C++引用 的常引用中我们也接触过,比如:

int main()
{
  int a = 0;
  double b = a;
  const double& rb = a;
    const int& c = 1;
}

如上,如果我们将 int 的 a 赋值给 double 的 b,则 a 不会被直接赋值给 b,编译器会先根据 a 创建一个 double 类型的临时变量 tmp,然后将 tmp 赋值给 b;


对于 rb 来说也是一样的,只不过 rb 是引用类型,而引用和指针需要考虑权限的问题,所以用引用类型的变量 rb 去引用 a 生成的临时变量 tmp 需要使用 const 修饰 (临时变量具有常性);


对于最后一条语句来说也大同小异 – 由于数字 1 只存在于指令中,在内存中并不占用空间,所以当我们对其进行引用时,10会先赋给一个临时变量,然后我们再对这个临时变量进行引用;同时由于临时变量具有常性,所以我们需要使用 const 修饰;

上面这些知识在我前面 C++引用 的常引用部分有详细的介绍,如果有遗忘的小伙伴可以去复习一下;

2、构造函数的类型转换

在C++98中,单参数的构造函数也支持隐式类型转换,即对于单个参数或者除第一个参数无默认值其余均有默认值的构造函数,其具有类型转换的作用;比如下面这样:

class Date
{
public:
  Date(int year)
    :_year(year)
  {
    cout << "Date 构造" << endl;
  };
  Date(const Date& d)
  {
    _year = d._year;
    _month = d._month;
    _day = d._day;
    cout << "Date 拷贝构造" << endl;
  }
private:
  int _year;
  int _month;
  int _day;
};

2020062310470442.png

20200623104134875.png

如上,对于具有单参构造函数的Date类,我们不仅可以使用构造和拷贝构造的方式来实例化对象,还可以通过直接赋值一个整数来实例化对象;


而这其实是隐式类型转换的结果:


对于d3来说,由于2022和d3的类型不同,所以编译器会进行类型转换,即先使用2022来构造一个临时的Date对象,然后用这个临时对象来对d3进行拷贝构造,所以d3是构造+拷贝构造的结果;


不过现在比较新版的编译器都对这种情况进行了优化,不再创建临时的Date对象,而是直接使用2022来构造d3,所以我们看到的现象是创建d3没有调用拷贝构造函数;而在老版的编译器下是会调用拷贝构造函数的,比如VC 6.0、VS2003等编译器;


对于d4来说,d4是Date对象的引用,所以编译器会先用2022来构造一个Date类型的临时对象,然后d4再对这个临时对象进行引用,所以只会调用一次构造函数;同时由于临时对象具有常性,所以需要使用const修饰;

注意:单参构造函数并不是指只能有一个参数,而是指在调用时只传递一个参数,所以半缺省和全缺省的构造函数也是可以的;

2020062310470442.png

C++11对上述语法进行了拓展,支持多参数的构造函数,只是传递参数时多个参数之间需要使用花括号,如下:

2020062310470442.png

20200623104134875.png

3、explicit 关键字

explicit 关键字用于修饰构造函数,其作用是禁止构造函数的隐式类型转换,如下:

class Date
{
public:
  explicit Date(int year = 1970, int month = 1, int day = 1)
    :_year(year)
    , _month(month)
    , _day(day)
  {
    cout << "Date 构造" << endl;
  };
  Date(const Date& d)
  {
    _year = d._year;
    _month = d._month;
    _day = d._day;
    cout << "Date 拷贝构造" << endl;
  }
private:
  int _year;
  int _month;
  int _day;
};

2020062310470442.png

4、类型转换的意义

构造函数的类型转换在一些特定的地方有着很大的意义,比如要在一个顺序表尾插一个元素,而这个元素是 string 类型的对象,如下:

int main()
{
  string s1("hello");
  push_back(s1);
  push_back("hello");
}

如上,有了隐式类型转换我们在插入一个 string 对象时就不必先去构造 s1,然后再传递 s1,而是直接使用 “hello” 做参数即可,其会自动转化为 string 类型;等等类似的情景还有非常多,具体的我们在后面遇到再说;

三、static 成员

1、概念

声明为 static 的类成员称为类的静态成员,其中用 static 修饰的成员变量,称之为静态成员变量,用 static 修饰的成员函数,称之为静态成员函数;下面我们以一个面试题来引出类的静态成员的相关知识点;

面试题:实现一个类,计算程序中创建出了多少个类对象;

我们知道,类创建对象一定会调用构造函数或者拷贝构造函数,所以我们只需要定义一个全局变量,然后在构造函数和拷贝构造函数中让其自增即可,如下:

int N = 0;
class A
{
public:
  A(int i = 0)
    :_i(i)
  {
    N++;
  }
  A(const A& a)
  {
    _i = a._i;
    N++;
  }
private:
  int _i;
};

2020062310470442.png

虽然使用全局变量的方法可以十分简便的达到我们的目的,但是我们不建议使用全局变量,因为全局变量可以被任何人修改,十分不安全;所以我们需要使用另外一种比较安全的方法 – 静态成员变量;

2、static 成员变量

静态成员变量是指用 static 关键字修饰的成员变量,其特性如下:

  • 静态成员为所有类对象所共享,不属于某个具体的对象,存放在静态区;
  • 静态成员变量必须在类外定义,定义时不添加 static 关键字,类中只是声明;
  • 静态成员变量的访问受类域与访问限定符的约束;

接下来我们围绕这三点特性来展开说明:

1、由于静态成员变量在静态区 (数据段) 开辟空间,并不在对象里面,所以它不属于某单个对象,而是所有对象共享;

class A
{
public:
  A(int m = 0)
    :_m(m)
  {}
public:
  int _m;
  static int _n;
};
int A::_n = 0;

2020062310470442.png

可以看到,当我们把类的静态成员变量设置为 public 并在类外进行定义初始化后,我们可以直接通过类名+域作用限定符或者通过一个空指针对象来访问,这说明_n并不存在于对象里面;


2、类的静态成员变量在类中只是声明,必须在类外进行定义且定义时需要指定类域,其不在初始化列表处进行定义初始化,因为新建对象并不会改变它的值;

2020062310470442.png

20200623104134875.png

tips:当我们的程序出现错误时,输出列表提供的错误信息是最准确的,且我们应该从第一个错误开始解决;

3、静态成员变量的访问受类域与访问限定符的约束;

2020062310470442.png

20200623104134875.png

如上,静态成员变量在访问时和普通的成员变量区别不大,同样受类域和访问限定符的约束,只是因为其不存在于对象中,所以我们可以通过 A:: 来直接访问;


注:可以看到,静态成员变量在定义声明的时候只受类域的限制,而没有受到访问限定符的限制,这是一个特例,大家记住即可;


学习了静态成员变量的相关知识以后,我们就可以换一种方式来统计对象的创建个数了:

class A
{
public:
  A(int i = 0)
    :_i(i)
  {
    _n++;
  }
  A(const A& a)
  {
    _i = a._i;
    _n++;
  }
private:
  int _i;
  static int _n;
};
int A::_n = 0;

2020062310470442.png

但是这里出现了一个新的问题:为了保证类的封装性我们需要将成员变量设置为private,但是这样又使得我们无法在类外获取到它们,那该怎么办呢?针对这个问题,C++设计出了静态成员函数;

3、static 成员函数

静态成员函数是指用 static 关键字修饰的成员函数,其特性如下:

  • 静态成员函数没有隐藏的this指针,不能访问任何非静态成员;
  • 静态成员也是类的成员,同样受类域和访问限定符的约束;

由于静态成员函数没有隐藏的 this 指针,所以我们在调用的时候自然也就不需要传递对象的地址,即我们可以通过类名+域作用限定符直接调用,而不需要创建对象;但是相应的,没有了 this 指针我们也无法去调用非静态的成员变量与成员函数,因为非静态成员变量需要实例化对象来开辟空间,非静态成员函数的调用则需要传递对象的地址;

class A
{
public:
  A(int i = 0)
    :_i(i)
  {
    _n++;
  }
  A(const A& a)
  {
    _i = a._i;
    _n++;
  }
  static int GetN()
  {
    return _n;
  }
private:
  int _i;
  static int _n;
};
int A::_n = 0;

2020062310470442.png

注意:虽然静态成员函数函数不可以调用非静态成员,但是非静态成员函数是可以调用静态成员的 (调用静态成员时编译器不传递对象地址即可);


最后,让我们来做一道与静态成员相关的练习题:求1+2+3+…+n


求1+2+3+…+n,要求不能使用乘除法、for、while、if、else、switch、case等关键字及条件判断语句(A?B:C)。

class Sum
{
public:
    Sum()
    {
        ++_i;
        _ret += _i;
    }
    static int GetRet()
    {
        return _ret;
    }
private:
    static int _i;
    static int _ret;
};
int Sum::_i = 0;
int Sum::_ret = 0;
class Solution {
public:
    int Sum_Solution(int n) {
        Sum arr[n];
        return Sum::GetRet();
    }
};



相关文章
|
1天前
|
编译器 C语言 C++
|
1天前
|
编译器 C++
【C++】详解初始化列表,隐式类型转化,类静态成员,友元
【C++】详解初始化列表,隐式类型转化,类静态成员,友元
|
4天前
|
存储 编译器 C++
【C++】类和对象④(再谈构造函数:初始化列表,隐式类型转换,缺省值
C++中的隐式类型转换在变量赋值和函数调用中常见,如`double`转`int`。取引用时,须用`const`以防修改临时变量,如`const int& b = a;`。类可以有隐式单参构造,使`A aa2 = 1;`合法,但`explicit`关键字可阻止这种转换。C++11起,成员变量可设默认值,如`int _b1 = 1;`。博客探讨构造函数、初始化列表及编译器优化,关注更多C++特性。
|
4天前
|
编译器 C++
【C++】类和对象④(类的默认成员函数:取地址及const取地址重载 )
本文探讨了C++中类的成员函数,特别是取地址及const取地址操作符重载,通常无需重载,但展示了如何自定义以适应特定需求。接着讨论了构造函数的重要性,尤其是使用初始化列表来高效地初始化类的成员,包括对象成员、引用和const成员。初始化列表确保在对象创建时正确赋值,并遵循特定的执行顺序。
|
4天前
|
C语言 C++
【C++】日期类Date(详解)③
该文介绍了C++中直接相减法计算两个日期之间差值的方法,包括确定max和min、按年计算天数、日期矫正及计算差值。同时,文章讲解了const成员函数,用于不修改类成员的函数,并给出了`GetMonthDay`和`CheckDate`的const版本。此外,讨论了流插入和流提取的重载,需在类外部定义以符合内置类型输入输出习惯,并介绍了友元机制,允许非成员函数访问类的私有成员。全文旨在深化对运算符重载、const成员和流操作的理解。
|
4天前
|
C++
【C++】日期类Date(详解)②
- `-=`通过复用`+=`实现,`Date operator-(int day)`则通过创建副本并调用`-=`。 - 前置`++`和后置`++`同样使用重载,类似地,前置`--`和后置`--`也复用了`+=`和`-=1`。 - 比较运算符重载如`&gt;`, `==`, `&lt;`, `&lt;=`, `!=`,通常只需实现两个,其他可通过复合逻辑得出。 - `Date`减`Date`返回天数,通过迭代较小日期直到与较大日期相等,记录步数和符号。 ``` 这是236个字符的摘要,符合240字符以内的要求,涵盖了日期类中运算符重载的主要实现。
|
4天前
|
定位技术 C语言 C++
C++】日期类Date(详解)①
这篇教程讲解了如何使用C++实现一个日期类`Date`,涵盖操作符重载、拷贝构造、赋值运算符及友元函数。类包含年、月、日私有成员,提供合法性检查、获取某月天数、日期加减运算、比较运算符等功能。示例代码包括`GetMonthDay`、`CheckDate`、构造函数、拷贝构造函数、赋值运算符和相关运算符重载的实现。
|
4天前
|
编译器 C++
【C++】类和对象③(类的默认成员函数:赋值运算符重载)
在C++中,运算符重载允许为用户定义的类型扩展运算符功能,但不能创建新运算符如`operator@`。重载的运算符必须至少有一个类类型参数,且不能改变内置类型运算符的含义。`.*::sizeof?`不可重载。赋值运算符`=`通常作为成员函数重载,确保封装性,如`Date`类的`operator==`。赋值运算符应返回引用并检查自我赋值。当未显式重载时,编译器提供默认实现,但这可能不足以处理资源管理。拷贝构造和赋值运算符在对象复制中有不同用途,需根据类需求定制实现。正确实现它们对避免数据错误和内存问题至关重要。接下来将探讨更多操作符重载和默认成员函数。
|
4天前
|
存储 编译器 C++
【C++】类和对象③(类的默认成员函数:拷贝构造函数)
本文探讨了C++中拷贝构造函数和赋值运算符重载的重要性。拷贝构造函数用于创建与已有对象相同的新对象,尤其在类涉及资源管理时需谨慎处理,以防止浅拷贝导致的问题。默认拷贝构造函数进行字节级复制,可能导致资源重复释放。例子展示了未正确实现拷贝构造函数时可能导致的无限递归。此外,文章提到了拷贝构造函数的常见应用场景,如函数参数、返回值和对象初始化,并指出类对象在赋值或作为函数参数时会隐式调用拷贝构造。
|
4天前
|
存储 编译器 C语言
【C++】类和对象②(类的默认成员函数:构造函数 | 析构函数)
C++类的六大默认成员函数包括构造函数、析构函数、拷贝构造、赋值运算符、取地址重载及const取址。构造函数用于对象初始化,无返回值,名称与类名相同,可重载。若未定义,编译器提供默认无参构造。析构函数负责对象销毁,名字前加`~`,无参数无返回,自动调用以释放资源。一个类只有一个析构函数。两者确保对象生命周期中正确初始化和清理。