构造器中的三个小问题

关于构造器中的三个问题验证。

 

问题1：默认无参空构造器的疑惑

先上代码，类中有两个构造函数，一个是无参构造器，一个是带参构造器，形成重载。

#include <iostream>

using namespace std;

class Stack
{
public:
    /* 无参构造器 */
    Stack()
    {
        top = 0;
        m_size = 1024;
        space = new int[1024]{0};
    }
    /* 带参的构造器*/
    Stack(int size)
        :top(0), m_size(size), space(new int[size]{0})
    {
    }

    bool isFull()
    {
        return top == m_size;
    }

    bool isEmpty()
    {
        return top == 0;
    }

    void push(int data)
    {
        space[top++] = data;
    }

    int pop()
    {
        return space[--top];
    }
protected:
    int top;
    int m_size;
    int *space;
};

int main()
{
    Stack s;
    for(int i = 0; i < 10 && !s.isFull(); ++i)
    {
        s.push(i);
    }
    for(int i = 0; i < 10; ++i)
    {
        cout<<s.pop()<<" ";
    }
    cout<<endl;

    cout<<"=========="<<endl;
    Stack s2(20);
    for(int i = 0; i < 30 && !s.isFull(); ++i)
    {
        s.push(i);
    }
    for(int i = 0; i < 20; ++i)
    {
        cout<<s.pop()<<" ";
    }
    cout<<endl;

    return 0;
}

测试1：只注释带参的构造器

现象：第48行代码能正常编译，找到了无参构造器，对象s可实例化。第60行代码编译不过，因来未找到对应的带参的构造器，对象s2无法实例化。

这个比较好理解。

测试2：同时注释无参的构造器和带参的构造器

现象：第48行代码能正常编译。第60行代码提示编译不过，没有找到匹配的构造器。

问题：两个构造器，其中一个是无参构造器，两个都被注释了，为什么第48行代码能编译通过，不报错呢？哪里在来的无参构造器呢？天外飞来的无参构造器？

测试3：仅注释无参的构造器

现象：第48行代码报错，提示未找到匹配的构造器。第60行代码编译通过。

有带参的构造器，第60行代码能编译过去，这个比较好理解。但与测试2对比也会令人有点疑惑，不是说好的有“天外飞来的无参构造器”吗？咋这时又不灵了呢？

 

说明：系统提供默认的空体构造体，一经自实现默认的将不复存在。

当没有自实现构造器的时候，系统会提供默认的构造器(如测试2)。一旦自己定义了构造器，默认的构造器将不存在了(如测试3)。

提示：测试2中虽然编译通过了， 但是运行结果是未定义的。

 

所以， 咱们在实现重载或者默认参数的时候，需要将默认无参构造器，纳入其中。

 

问题2：Stack s2()是个啥？

第1和2行均是表示申明了一个对象，前者无参，后者带参，这个好理解。加了第3行，初看起来，感觉怪怪的，这是个啥呢？

Stack s;  
Stack s2(20);
Stack s3();

咱运行一把，也没有报错啥的。

有的朋友估计已经想到了，这是个函数申明。Stack表示类类型，s3表示函数名，函数名后跟括号。感觉是学的越多，越糊涂呀(哭笑)。

 

问题3：类成员初始化的顺序

 类成员初始化的顺序与什么有关呢？

代码如下，在G++ 4.8.5版本中，运行结果是5；

#include <iostream>
#include <string>

using namespace std;

class A
{
    public:
        A(string str)
            :m_name(str), m_len(m_name.length())
        {}

        void dis()
        {
            cout<<m_len<<endl;
        }
    protected:
        string m_name;
        int m_len;
};

int main()
{
    A a("china");
    a.dis();

    return 0;
}

测试1：调整列表初始化的顺序，将第10行代码调整为如下，运行结果仍是5

m_len(m_name.length())，m_name(str)

测试2：调整声明的顺序，调换第18行与19行的顺序，再观察运行结果。

显示

Segmentation fault

在列表初始化m_len时，需要m_name这个类成员，但是m_name还未初始化，因此此时出现了错误。不同的平台中可能会得到一些不同的结果。

说明：类成员初始化的顺序与初始化参数列表的顺序无关，与其声明的顺序有关。

 

 

注：

主要开发工具：QT5.12，有时会用到G++；

操作系统：Win10；

参考书籍：王桂林《C++基础与提高》