编译器是否会提供一个缺省构造函数?

feasword

原帖由 emacsnw 于 2007-5-29 14:31 发表


为什么不会？

那麻烦解释一下为什么会吧？一个简单的空类，没有继承也没有virtual

emacsnw

原帖由 feasword 于 2007-5-29 00:37 发表

那麻烦解释一下为什么会吧？一个简单的空类，没有继承也没有virtual

如果不定义自己的版本，下面四个函数将会被编译器创建：

1. 
   
2. a constructor: A::A()
   
3. a destructor:  A::~A()
   
4. a copy constructor: A::A(const A &)
   
5. and the operator=(): A &A::operator=(const A &)
   

复制代码

yuanchengjun

原帖由 emacsnw 于 2007-5-29 16:47 发表


如果不定义自己的版本，下面四个函数将会被编译器创建：
[code]
a constructor: A::A()
a destructor:  A::~A()
a copy constructor: A::A(const A &
and the operator=(): A &A:perator=(co ...

class a{};

不会有拷贝构造函数和操作符重载的吧？这两个应该不会自动生成的吧？


会以以下两种方式之一copy。
默认copy方式
1，按位(bit)copy。
2，按成员copy。

当有operator=时，在=时调用operator=，
否则按默认copy方式。

当有拷贝构造函数，当对象作为参数传入函数，以及从函数返回时，会调用拷贝构造函数，
否则按默认copy方式。

yuanchengjun

//主函数，请注意断点位置。
int main(int argc, char* argv[])
{
        A a; //在这一行打断点。
        return 0;
}

//1，主函数能打断点。
class A
{
public:
    A()
    {
    };
};

//2，主函数不能打断点。
class A
{
};

//3，主函数不能打断点。
class A
{
public:
    ~A()
    {
    };
};

//4，主函数能打断点！！！
class A
{
public:
    virtual ~A()
    {
    };
};


为什么能打断点？有函数，构造函数！

[ 本帖最后由 yuanchengjun 于 2007-5-29 17:52 编辑 ]

feasword

原帖由 emacsnw 于 2007-5-29 16:47 发表


如果不定义自己的版本，下面四个函数将会被编译器创建：
[code]
a constructor: A::A()
a destructor:  A::~A()
a copy constructor: A::A(const A &
and the operator=(): A &A:perator=(co ...

你这是结论，我发帖子的目的就是想讨论一下两本书里结论的矛盾，麻烦看看前面几本书的相关内容。
而且你这个结论也是不完全的，按照effective c++的说法，还有两个取址运算符

antigloss

Inside the C++ Object Model 里有详细的讨论。试试编译下面的代码，有注释和去掉注释后，看看生成的汇编代码有什么不同。

1. 
   
2. class test {
   
3. public:
   
4. //    test() { }
   
5. //    test(test &t) { }
   
6.     int i;
   
7. };
   
8. 
   
9. int main()
   
10. {
    
11.     test t1, t2;
    
12.     t1 = t2;
    
13. }
    

复制代码

mik

《Inside the C++ Object Model》是本一定要读的好书。可惜我已经忘了 9 成了。

whyglinux

要注意区分两种讨论的前提：是语言语义还是语言的实现。

littlemonk

《Inside the C++ Object Model》要经常翻翻,温故而知新.编译器产生出来的要看是在编译期间还是在运行期间.