当我将const引用到该类的对象时,类的非const内部成员是否变为const?

时间:2009-12-03 13:58:25

标签: c++ reference const

嗯,我认为我的问题源于对基本C ++概念的了解。问题是,在我的代码(下面)中,我有类Header和Register。对于两者,我传递对已打开的ifstrem文件的引用。 Header从中读取一些字节。 Register有一个返回Header引用的方法(在Register构造函数中传递)。

问题是,当我将Header的引用声明为const(在我的Register类中)时,我收到一条错误消息:

error C2662: 'Header::Field_1' : cannot convert 'this' pointer from 'const Header' to 'Header &'

我想问题是:

Field_1方法通过seekg更改文件光标。因此这个成员对象不能是const(它的内部结构正在改变)。在Header类中声明了fstream _stream,并且为这个类提供了一个const引用,它是否也使它的所有内部成员都成为const?

PS:我正在使用VS C ++ express。下面的代码没有做任何有用的事情,只是一个例子。

// ********** HEADER.H ***********
#ifndef __HEADER_H__
#define __HEADER_H__

#include <fstream>

class Header
{
    private:

        std::ifstream* _stream;
        unsigned long field1;

    public:

        Header(std::ifstream* stream);
        ~Header() { }

        unsigned long Field_1(void);
};

class Register
{
    private:
        const Header& _header;
        std::ifstream* _stream;

    public:

        Register(const Header& header, std::ifstream* stream);
        ~Register(){ }

        const Header& GetHeader(void) { return _header; }
};

#endif /*__HEADER_H__*/

//********* PROGRAM.CPP *************

#include <iostream>
#include "header.h"

using namespace std;

Header::Header(ifstream* stream) : _stream(stream)
{
}

unsigned long Header::Field_1(void)
{
    _stream->seekg(0x00, fstream::beg);
    _stream->read(reinterpret_cast<char*>(&field1), sizeof(field1));
    return field1;
}


Register::Register(const Header& header, std::ifstream* stream): _header(header), _stream(stream)
{
}

int main(void)
{
    ifstream file("test.dat", ios::binary | ios::in);
    Header h(&file);
    Register reg(h, &file);

    cout << "Field 1 " << reg.GetHeader().Field_1() << endl;

    file.close();
    return 0;
}

2 个答案:

答案 0 :(得分:2)

Register::GetHeader()函数返回const Header &。因此,您无法通过此引用调用任何非const成员函数。

要解决您的问题,我希望您想要Header::Field_1()函数const。

即。声明为unsigned long Field_1(void) const;

答案 1 :(得分:2)

是的,当GetHeader()返回对Header对象的const引用时,您只能在其上调用const方法。 在这种情况下,如果您通过编写{/ p>将Field_1声明为const方法

unsigned long Header::Field_1(void) const

(注意结尾的常量)

麻烦的是,如果你这样做,那么 const方法中,所有其他成员看起来就像是const一样(除非你把它们标记为可变)。

因此,您可能会遇到reinterpret_cast<char*>(&field1)

的问题

在这种情况下,最简单的解决方案可能是让GetHeader()返回非const引用。或者,您可以将field1标记为mutable(但如果您沿着这条路线行进,请确保首先了解mutable的语义和危险。我的感觉是让GetHeader()返回非const引用是你真正想要的东西)