Добрый день.

Можно ли сделать/объявить действительно константную ссылку?

т.е. я сейчас делаю так:

const std::vector<int>& SomeFunction();
и, соответственно:
const std::vector<int>& data = SomeFunction();
но компилятор пропускает data.clear();

этого можно как-то избежать?

Заранее благодарю за ответ.

Спецификатор const в обьявлении обьекта(переменной, ссылки, указателя) указывает компилятору, что изменять состояние обьекта нельзя (т.е. его следует рассматривать как read-only)
Если вектор действительно нужно очистить, ссылку следует обьявить как

Код

std::vector<int>& data= const_cast <std::vector<int>&>(SomeFunction());

Цитата(_hunter @ 7.4.2005, 22:10)

но компилятор пропускает data.clear();

О, блин, сорри - показалось "компилятор НЕ пропускает...."
Надо думать...

А если ссылку на константный обьект попробовать?

Каким компилятором ты пользуешься?
VC6 и выше вызов clear() для констатной ссылки на объект не пропускает, сообщая при этом, что не может конвертнуть this-указатель констатного объекта в неконстантный

Код

vector<int> vInt; // как-то инициализирован  . . .  const vector<int>& сrVect= vInt; сrVect.clear(); ===== error C2662: 'clear' : cannot convert 'this' pointer from 'const class std::vector<int,class std::allocator<int> >' to 'class std::vector<int,class std::allocator<int> > &'

Ты где то ошибся.
Пытаюсь скомпилировать следующий код:

Код

#include <vector> std::vector<int> vector; const std::vector<int> &SomeFunction(void) {     return vector; } int main(void) {     const std::vector<int> &v = SomeFunction();     v.clear();     return 0; }

Получаю ошибку:

Цитата

d:\documents\Visual Studio Projects\tst\main.cpp(14): error C2662: 'std::vector<_Ty>::clear' : cannot convert 'this' pointer from 'const std::vector<_Ty>' to 'std::vector<_Ty> &'         with         [             _Ty=int         ]         and         [             _Ty=int         ]         and         [             _Ty=int         ]

Так что константная ссылка действительно константна.

Цитата(Fire @ 8.4.2005, 02:11)

VC6 и выше вызов clear() для констатной ссылки на объект не пропускает,

ИМХО, вопрос реализации и версии STL. На других платформах может быть иначе.

_hunter, а ты случаем Borland'овский компилер юзаешь? Я слышал, у него бывают заскоки по фазе...
Вообще я согласен с DENNN'ом

Цитата(srd @ 8.4.2005, 02:14)

Так что константная ссылка действительно константна.

ССылка то константна, но вот получить по этой ссылке доступ к методам класса ты можешь - > нет никакой гарантии что вызванный метод не изменит свои внутренние данные.

Цитата(DENNN @ 8.4.2005, 00:47)

ССылка то константна, но вот получить по этой ссылке доступ к методам класса ты можешь - > нет никакой гарантии что вызванный метод не изменит свои внутренние данные.

Если я не ошибаюсь, методу константного обьекта класса передается константный this и компилер плюется при попытке изменить данные.

Цитата(DENNN @ 8.4.2005, 17:47)

ССылка то константна, но вот получить по этой ссылке доступ к методам класса ты можешь - > нет никакой гарантии что вызванный метод не изменит свои внутренние данные.

Для константного объекта данные-члены доступны только на чтение, а из функций-членов доступны только опять-таки константные (т.е. определённые с модификатором const) и статические. Из константных методов менять можно только статические поля и поля со спецификатором mutable, а из статических методов - только статические поля. Так-что гарантия есть.

Цитата(DENNN @ 8.4.2005, 16:28)

ИМХО, вопрос реализации и версии STL. На других платформах может быть иначе.

Не может. Если реализация STL соответствует стандарту, то в ней метод clear() вектора не имеет модификатора const, а значит этот метод не может быть вызван для константных объектов.

стандарт языка с++ (наверное любой номер) говорит о том, что

Код

const T& a;

, объект на который ссылается так объявленная ссылка нельзя изменить. Чето где то глючит

А зачем возвращать const ссылку если пользователь твоей функции её только смотрит? Может имеет смысл вернуть копию объекта? Или это экономия памяти?

Это сообщение отредактировал(а) np9mi7 - 8.4.2005, 14:58

Цитата(np9mi7 @ 8.4.2005, 04:54)

Чето где то глючит smile

Я ж и говорю, билдерь наверное..
Сейчас придет _Хантер и расскажет

сорри что так поздно пришел...

действительно пишу под билдером ( если это его прикол -- обидно )

np9mi7, не столько памяти сколько времени ( у меня этих чтений -- туева хуча )

полный код ( чтобы не было вопросов ):

Код

#include <vector> //--------------------------------------------------------------------------- class A { private:     std::vector<int> _data; public:     const std::vector<int>& GetData(); }; const std::vector<int>& A::GetData() {     return _data; } WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) {     A a;     const std::vector<int>& data = a.GetData();     data.clear();     return 0; } //---------------------------------------------------------------------------

и единственное, что мне на это говорит компилятор:
[C++ Warning] W8037 Non-const function _STL::vector<int,_STL::allocator<int> >::clear() called for const object
и все

Значит билдерь пропускает константные вызовы, из еррора превращая их в ворнинги.