【C++】不止于基础:再探构造函数、类型转换与 static 成员

在这里插入图片描述

🔭 个人主页:散峰而望

《C语言:从基础到进阶》《编程工具的下载和使用》《C语言刷题》
《C++》《算法竞赛从入门到获奖》《人工智能》《AI Agent》

愿为出海月,不做归山云

🎬博主简介

在这里插入图片描述

请添加图片描述

【C++】不止于基础:再探构造函数、类型转换与 static 成员


前言

C++ 中,构造函数、类型转换和 static 成员是构建高效、可维护代码的核心机制。深入理解这些概念不仅能提升代码质量,还能解锁更灵活的设计模式与编程技巧。

构造函数不仅是对象的初始化工具,通过重载、委托和移动语义,它能显著优化资源管理。类型转换提供了隐式与显式的类型适配能力,合理使用可以增强代码的表达力,同时避免潜在风险。static 成员则跨越对象实例,实现数据共享与类级别操作,是设计工具类和全局状态管理的利器。

本文将从基础出发,逐步剖析这些特性的高级用法,帮助开发者掌握更精妙的 C++ 实践技巧。

1. 再探构造函数

  1. 之前我们实现构造函数时,初始化成员变量主要使用函数体内赋值,构造函数初始化还有一种方式,就是初始化列表,初始化列表的使用方式是以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式
#include<iostream>
using namespace std;

class Date
{
public:
    Date(int year, int month, int day)
        :_year(year)//参数year赋给_year
        , _month(month)//参数month赋给_month
        , _day(day)//参数day赋给_day
    { }
private:
    int _year;
    int _month;
    int _day;
   };
  1. 每个成员变量在初始化列表中只能出现一次,语法理解上初始化列表可以认为是每个成员变量定义初始化的地方。
#include<iostream>
using namespace std;

class Date
{
public:
    Date(int year, int month, int day)
        //成员变量定义
        :_year(year)//参数year赋给_year
        , _month(month)//参数month赋给_month
        , _day(day)//参数day赋给_day
    { }
private:
    //声明
    int _year;
    int _month;
    int _day;
   };

int main()
{
    //对象定义
    Date d1(2026, 3, 14);
}
  1. 引用成员变量,const 成员变量,没有默认构造的类类型变量,必须放在初始化列表位置进行初始化,否则会编译报错。
#include<iostream>
using namespace std;

class Date
{
public:
    Date(int& x, int year = 1, int month = 1, int day = 1)
        :_year(year)
        , _month(month)
        , _day(day)
        , _ref(x)
        , _n(1)
    {
        // error C2530 : “Date::_ref” : 必须初始化引用 
        // error C2789 : “Date::_n” : 必须初始化常量限定类型的对象 
    }
    
    void Print() const
    {
        cout << _year << "-" << _month << "-" << _day << endl;
    }
private:
    int _year;
    int _month;
    int _day;
    //必须在初始化列表初始化
    int& _ref;          // 引用 
    const int _n; // const 
};

int main()
{
    int i = 0;
    int x = 0;
    Date d1(i);
    Date d2(x, 2026, 3, 14);
    d1.Print();
    d2.Print();
    return 0;
}
  1. 一般情况下,不用传参就可以调用的称为默认构造,如果有默认构造的类类型变量,则不需要初始化列表初始化。
#include<iostream>
using namespace std;

class Time
{
public:
    Time(int hour = 0)//全缺省,不用传参
        :_hour(hour)
    {
        cout << "Time()" << endl;
    }
private:
    int _hour;
};

class Date
{
public:
    Date(int& x, int year = 1, int month = 1, int day = 1)
        :_year(year)
        , _month(month)
        , _day(day)
        //, _t(12)
        , _ref(x)
        , _n(1)
    {   }
    void Print() const
    {
        cout << _year << "-" << _month << "-" << _day << endl;
    }
private:
    int _year;
    int _month;
    int _day;
    Time _t;          // 有默认构造 
    int& _ref;          // 引用 
    const int _n; // const 
};
int main()
{
    int i = 0;
    int x = 0;
    Date d1(i);
    Date d2(x, 2026, 3, 14);
    d1.Print();
    d2.Print();
    return 0;
}

但是没有默认构造的类类型变量,就需要初始化列表初始化。

在这里插入图片描述

class Time
{
public:
    Time(int hour)
        :_hour(hour)
    {
        cout << "Time()" << endl;
    }
private:
    int _hour;
};
class Date
{
public:
    Date(int& x, int year = 1, int month = 1, int day = 1)
        :_year(year)
        , _month(month)
        , _day(day)
        , _t(12)//初始化列表初始化
        , _ref(x)
        , _n(1)
    {
        // error C2512: “Time”: 没有合适的默认构造函数可用 
        // error C2530 : “Date::_ref” : 必须初始化引用 
        // error C2789 : “Date::_n” : 必须初始化常量限定类型的对象 
    }
    void Print() const
    {
        cout << _year << "-" << _month << "-" << _day << endl;
    }
private:
    int _year;
    int _month;
    int _day;
    Time _t;          // 没有默认构造 
    int& _ref;          // 引用 
    const int _n; // const 
};
int main()
{
    int i = 0;
    int x = 0;
    Date d1(i);
    Date d2(x, 2026, 3, 14);
    d1.Print();
    d2.Print();
    return 0;
}

初始化列表和函数体可以混着用,相互搭配,相辅相成。

#include<iostream>
using namespace std;

class Time
{
public:
    Time(int hour)
        :_hour(hour)
    {
        cout << "Time()" << endl;
    }
private:
    int _hour;
};
class Date
{
public:
    Date(int& x, int year = 1, int month = 1, int day = 1)
        :_year(year)
        , _month(month)
        , _day(day)
        , _t(12)
        , _ref(x)
        , _n(1)
        ,_ptr((int*)malloc(10))
    {
        if (_ptr == nullptr)
        {
            perror("malloc fail");
        }
        else
        {
            memset(_ptr, 0, 10);
        }
        // error C2512: “Time”: 没有合适的默认构造函数可用 
        // error C2530 : “Date::_ref” : 必须初始化引用 
        // error C2789 : “Date::_n” : 必须初始化常量限定类型的对象 
    }
    void Print() const
    {
        cout << _year << "-" << _month << "-" << _day << endl;
    }
private:
    int _year;
    int _month;
    int _day;
    Time _t;          // 没有默认构造 
    int& _ref;          // 引用 
    const int _n; // const 
    int* _ptr;
};

成员变量不一定都要定义,有的也可以不定义。当然,引用成员变量,const 成员变量,没有默认构造的类类型变量除外。不过没有被定义的成员变量输出的时候会是随机值,是不确定的。

class Date
{
public:
    Date(int year, int month, int day)
        //成员变量定义
        :_year(year)//参数year赋给_year
        , _month(month)//参数month赋给_month
    { }
private:
    //声明
    int _year;
    int _month;
    int _day;
   };

在这里插入图片描述

  1. C++11 支持在成员变量声明的位置给缺省值,这个缺省值主要是给没有显示在初始化列表初始化的成员使用的
#include<iostream>
using namespace std;

class Date
{
public:
    Date(int year, int month, int day)
        :_year(year)
        , _month(month)
        , _day(day)
    {    }

    void Print() const
    {
        cout << _year << "-" << _month << "-" << _day << endl;
    }

private:
    int _year = 1;
    int _month = 1;
    int _day =1;
};

int main()
{
    Date d1(2026, 3, 14);
    d1.Print();
}

在这里插入图片描述

除了普通的内置类型可以在声明处给缺省值,类类型也可以给缺省值。同时还能给表达式。

Time _t = 1;          
int* _ptr = (int*)malloc(10);
#include<iostream>
using namespace std;

class Time
{
public:
    Time(int hour)
        :_hour(hour)
    {
        cout << "Time()" << endl;
    }
private:
    int _hour;
};

class Date
{
public:
    Date()
        :_month(2)
    {
        cout << "Date()" << endl;
    }
    void Print() const
    {
        cout << _year << "-" << _month << "-" << _day << endl;
    }
private:
    // 注意这里不是初始化,这里给的是缺省值,这个缺省值是给初始化列表的 
    // 如果初始化列表没有显示初始化,默认就会用这个缺省值初始化 
    int _year = 1;
    int _month = 1;
    int _day;
    Time _t = 1;
    const int _n = 1;
    int* _ptr = (int*)malloc(12);
};

int main()
{
    Date d1;
    d1.Print();
    return 0;
}
  1. 尽量使用初始化列表初始化,因为那些你不在初始化列表初始化的成员也会走初始化列表,如果这个成员在声明位置给了缺省值,初始化列表会用这个缺省值初始化。如果你没有给缺省值,对于没有显示在初始化列表初始化的内置类型成员是否初始化取决于编译器,C++ 并没有规定。对于没有显示在初始化列表初始化的自定义类型成员会调用这个成员类型的默认构造函数,如果没有默认构造会编译错误

  2. 初始化列表中按照成员变量在类中声明顺序进行初始化,跟成员在初始化列表出现的的先后顺序无关。建议声明顺序和初始化列表顺序保持一致。

在这里插入图片描述

  1. 函数定义的形参给的缺省值和声明给缺省值的区别:函数定义中的缺省值是否有用在于是否传参,如果传参则函数定义的缺省值便失效了。若此时声明中没有初始化,会传随机值。
class Date
{
public:
    Date(int year = 1, int month = 1, int day = 1)
        :_year(year)
        , _month(month)
        , _day(day)
    {    }

    void Print() const
    {
        cout << _year << "-" << _month << "-" << _day << endl;
    }

private:
    int _year = 1;
    int _month = 1;
    int _day =1;
};

初始化列表总结:

  • 无论是否显示写初始化列表,每个构造函数都有初始化列表;
  • 无论是否在初始化列表显示初始化成员变量,每个成员变量都要走初始化列表初始化;

在这里插入图片描述

接下来个小测试检验一下。

测试:

#include<iostream>
using namespace std;

class A
{
public:
    A(int a)
        :_a1(a)
        , _a2(_a1)
    {
    }
    void Print() {
        cout << _a1 << " " << _a2 << endl;
    }
private:
    int _a2 = 2;
    int _a1 = 2;
};

int main()
{
    A aa(1);
    aa.Print();
}

下面程序的运行结果是什么( )
A. 输出 1 1
B. 输出 2 2
C. 编译报错
D. 输出 1 随机值
E. 输出 1 2
F. 输出 2 1

答案:C
在这里插入图片描述
在这里插入图片描述

这里讲一个困惑点,可能会有人认为 _a1 不是缺省值为 2 了吗,为什么 _a2 还为随机值:

  1. 先初始化 _a2:使用 _a1 的值,但此时 _a1 尚未初始化(既未用缺省值,也未用列表值),所以 _a2 被未定义的值初始化。
  2. 后初始化 _a1:使用参数 a 的值(1),或者如果没有显式列表,则使用缺省值 2。

所以,即使 _a1 有缺省值 2,它也是在 _a2 初始化之后才被设置的,因此 _a2 无法看到那个缺省值。

2. 类型转换

C++ 支持内置类型隐式类型转换为类类型对象,需要有相关内置类型为参数的构造函数。

构造函数前面加 explicit 就不再支持隐式类型转换。

类类型的对象之间也可以隐式转换,需要相应的构造函数支持。

#include<iostream>
using namespace std;

class A
{
public:
    // 构造函数explicit就不再支持隐式类型转换 
    // explicit A(int a1)
    A(int a1)
        :_a1(a1)
    {
    }
    //explicit A(int a1, int a2)
    A(int a1, int a2)
        :_a1(a1)
        , _a2(a2)
    {
    }
    void Print()
    {
        cout << _a1 << " " << _a2 << endl;
    }
    int Get() const
    {
        return _a1 + _a2;
    }
private:
    int _a1 = 1;
    int _a2 = 2;
};

class B
{
public:
    B(const A& a)
        :_b(a.Get())
    {
    }
private:
    int _b = 0;
};

int main()
{
    // 1构造一个A的临时对象,再用这个临时对象拷⻉构造aa3 
    // 编译器遇到连续构造+拷⻉构造->优化为直接构造 
    A aa1 = 1;
    aa1.Print();
    const A& aa2 = 1;
    // C++11之后才支持多参数转化 
    A aa3 = { 2,2 };
    // aa3隐式类型转换为b对象 
    // 原理跟上面类似 
    B b = aa3;
    const B& rb = aa3;
    return 0;
}

3. static 成员

用 static 修饰的成员变量,称之为静态成员变量,静态成员变量一定要在类外进行初始化

静态成员变量为所有类对象所共享,不属于某个具体的对象,不存在对象中,存放在静态区

用 static 修饰的成员函数,称之为静态成员函数,静态成员函数没有 this 指针

静态成员函数中可以访问其他的静态成员,但是不能访问非静态的,因为没有 this 指针

非静态的成员函数,可以访问任意的静态成员变量和静态成员函数

突破类域就可以访问静态成员,可以通过 类名 :: 静态成员 或者 对象 . 静态成员 来访问静态成员变量和静态成员函数。

静态成员也是类的成员,受 public、protected、private 访问限定符的限制。

静态成员变量不能在声明位置给缺省值初始化,因为缺省值是个构造函数初始化列表的,静态成员变量不属于某个对象,不走构造函数初始化列表

#include<iostream>
using namespace std;
class A
{
public:
    A()
    {
        ++_scount;
    }
    A(const A& t)
    {
        ++_scount;
    }
    ~A()
    {
        --_scount;
    }
    static int GetACount()
    {
        return _scount;
    }
private:
    // 类里面声明 
    static int _scount;
};
// 类外面初始化 
int A::_scount = 0;

int main()
{
    cout << A::GetACount() << endl;
    A a1, a2;
    A a3(a1);
    cout << A::GetACount() << endl;
    cout << a1.GetACount() << endl;
    // 编译报错:error C2248: “A::_scount”: 无法访问 private 成员(在“A”类中声明) 
    //cout << A::_scount << endl;
    return 0;
}

测试:

求 1 + 2 + 3 +…+ n

根据题目乘除法、for、while、if、else、switch、case等关键字及条件判断语句(A?B:C) 可知循环、递归、等差公式都没法使用。

因为当定义一个对象数组时,会为数组中的每一个元素分别调用其默认构造函数,因此创建 Sum a[n]; 就相当于创建 nSum 对象,构造 n 次。

class Sum
{
public:
   Sum()
   {
       _ret += _i;
       ++_i;
   }

   static int GetRet()
   {
      return _ret;
   }
private:
    static int _i;
    static int _ret;//记录结果
};

int Sum::_i = 1;
int Sum::_ret = 0;

class Solution {
public:
    int Sum_Solution(int n) {
        Sum a[n];//变长数组
        //如果变长数组不支持的话,可以改成
        //Sum* p = new Sum[n];
        //delete p[];
        return Sum::GetRet();
    }
};

结语

构造函数、类型转换和 static 成员是 C++ 中构建高效、灵活程序的核心机制。深入理解构造函数的初始化规则、重载与委托,能够优化对象的创建过程;掌握显式与隐式类型转换,可以避免潜在错误并提升代码可读性;而合理使用 static 成员,则能实现数据共享与类级别的控制。这些特性共同增强了 C++ 的抽象能力,为复杂系统的设计提供了坚实基础。通过实践与思考,开发者可以更自如地运用这些工具,写出更简洁、健壮的代码。

愿诸君能一起共渡重重浪,终见缛彩遥分地,繁光远缀天

在这里插入图片描述

请添加图片描述

评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

散峰而望

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值