Почему такой код



вызывает такие ошибки

Error    1    error C2248: 'std::basic_ios<_Elem,_Traits>::basic_ios' : cannot access private member declared in class 'std::basic_ios<_Elem,_Traits>'    c:\program files\microsoft visual studio 9.0\vc\include\sstream    451    Test_ostringstream
Error    2    error C2248: 'std::basic_ios<_Elem,_Traits>::basic_ios' : cannot access private member declared in class 'std::basic_ios<_Elem,_Traits>'    c:\program files\microsoft visual studio 9.0\vc\include\ostream    584    Test_ostringstream

?

почитай о требованиях к классу исключения, исключение должно иметь конструктор копирования и оператор присваивания

А как можно это обойти в данном случае?

И почему я могу throw-ить произвольный свой класс без таких операторов?

Вот так работает:

А можно через проверку?

можно.

потому что у исключения другое время жизни, нежели у переменной определенной в блоке,
ну а чтоб задать новую длину жизни необходимо уметь копировать его, о чем и сказано в цитате Lazin`a
 


Потому что имеются нужные операторы .. некоторые операторы добавляются скрыто в случае если не определены программистом..
те что требуются относятся к числу подобных.

Непонятно.


Во-первых, какими образом и с какой целью достигнуто, чтобы ostringstream нельзя было копировать?

Во-вторых, почему тогда вот это компилируется нормально:

потому что компилятор, заботливо делает это за тебя

компилятор же говорит :




для того чтоб исключить возможное копирование 

из за невозможности разделения владения данными, можно либо запретить копирования, либо расшарить внутренние  данные.
второе требует дополнительных ресурсов плюс для этой задачи излишне, поэтому выбор пал на первое 



а это вопрос к VS   

Dims, а ты попробуй такой код:и такой:И еще такой:И попробуй объяснить результат.

Это сообщение отредактировал(а) bsa - 5.3.2010, 01:09

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

исправил. спасибо. (стормозил, писал и думал, что что-то забыл   )

Первый пример: ругается линкер: Error    1    error LNK2001: unresolved external symbol "private: __thiscall A::A(class A const &)" (??0A@@AAE@ABV0@@Z)    Test_ostringstream.obj    Test_ostringstream


Ошибка понятна: конструктор объявлен, вызывается, но не определён.

Второй пример: не ругается. Понятно: хотя конструктор не определён, но он и не используется.

Третий пример: ругается компилятор: Error    1    error C2248: 'A::A' : cannot access private member declared in class 'A'

А какое это имеет отношения к моему примеру?

Добавлено через 3 минуты и 28 секунд
Ребят, скажите пожалуйста, откуда вообще всплыла эта тема? 

Судя по моей проверке вот тут: http://forum.vingrad.ru/index.php?showtopi...t&p=2109522

В классе ostringstream присутствуют и доступны как конструктор копирования по ссылке, так и оператор присваивания. Поэтому почему вы думаете, что дело в их отсутствии?

неужто не замечаете сходства ?



  

Действительно, на Юниксе мой пример не компилируется...

Добавлено через 1 минуту и 20 секунд

Я не замечаю сходства в коде, который вызвал эту ошибку. Код со throw вызвал другую.

А если так:

Написал нижеследующим образом и получаю всё равно такую же ошибку. Почему?



Добавлено через 6 минут и 23 секунды


Да, так похоже.

Кое-что проясняется: ошибка возникает в коде, который генерирует сам компиллятор. 

Но понятно не всё 

Почему мой 2-й пример компилируется? Ладно, это особенности ВС.

А почему мой последний не компилируется? Ведь я, вроде, написал что ему надо.

Ржунимагу...
Почему нельзя написать так?

И вообще, наследовать подобные классы не есть хорошо. лучше использовать агрегацию:У меня проблем этого кода с компиляцией нет.

причина имеет те же корни 


  
может немножко помягче написать то же самое : http://codepad.org/yuAzPD23 ?

Добавлено через 59 секунд

а bsa уже сказал оказывается 

Добавлено через 2 минуты и 21 секунду

по идеи должен быть варнинг предупреждающий о "скрытом" раскрытии закрытого конструктора копии.. проверять сейчас уже времени нет 

Какого кода и на какой системе?



Те же корни -- это какие?

Вот этих



корней больше нет.




Это понятно. Вопрос уже в теории: почему не компилируется код?

Добавлено через 5 минут и 42 секунды
Да, бред какой-то. На Виндах не компилируется, а на Линуксе компилируется.

приведите сообщение об ошибке .. интуитивно полагаю, что проблема в 

а точнее в том, как это действие интерпретирует Ваш компилятор.


А вы уверены что  Вы освободили эти корни , в общем для начала ошибку в студию.

Это сообщение отредактировал(а) mes - 5.3.2010, 18:44

Ниже сообщение. Возникает ДВЕ ошибки:

Error    1    error C2248: 'std::basic_ios<_Elem,_Traits>::basic_ios' : cannot access private member declared in class 'std::basic_ios<_Elem,_Traits>'    C:\Program Files\Microsoft Visual Studio 9.0\VC\include\sstream    451    Test_ostringstream2
Error    2    error C2248: 'std::basic_ios<_Elem,_Traits>::basic_ios' : cannot access private member declared in class 'std::basic_ios<_Elem,_Traits>'    C:\Program Files\Microsoft Visual Studio 9.0\VC\include\ostream    584    Test_ostringstream2

Код такой:



Добавлено через 3 минуты и 20 секунд
О, чё на сайте говорит: http://codepad.org/8pIjcxuu

ostringstream не предназначен для наследования
использовать в качестве исключений, нужно классы - наследники std::exception, иначе будет невозможно в одном catch обрабатывать любые исключения, а так-же, если в конструкторе копирования вашего исключения будет брошено другое исключение - будет вызвана ф-я terminate
у basic_ios, скорее всего закрытый конструктор копирования, что не удивительно, поэтому ваш код не компилируется

На Линуксе мой код компилируется:

http://cplusplus.com/reference/iostream/ostringstream/
поищите там конструктор копирования  


там другая реализация STL, даже если компилируется, зачем вам использовать ostringstream вместо исключения?

Более полная проверка на Линуксе:

ну раз код вызывает такие ошибки, то вопрос к компилятору ..


это  логичное следствие, о котором как раз и предполагалось.


точнее не предназначен для того чтоб быть исключением.

и компилируется ли на линуксе или нет значения не играет 

Зато конструктор копирования есть в моём классе. Вы не заметили? 


Там есть конструктор копирования в ostringstream?


Почему бы и нет? Я уже объяснял, я хочу таким способом составлять сообщения об ошибке. Это удобнее, чем складывать string-и, так как для operator<< больше определений.

Добавлено через 4 минуты и 17 секунд

Тогда об чём мы толкуем уже битый день? Есть на форуме компилятор, пусть ответит на мой вопрос? 


Объясните. Что означает это сообщение с codepad, как его понимать?

мы толкуем о том, что так делать не "красиво" , а Вы о том что Вам надо, к сожалению не заметив предложенный Вам вариант удовлетворяющий как Вашим , так и компиляторным требованиям  

Т.е. Вы хотите писать компиляторо-зависимый код  ? a может лучше написать по правилам


и не только мы, а также и компилятор  и показывает Вам, что Вы поступаете не совсем правильно.


оно говорит о том, что хотя у Вашего наследника и открытый конструктор копий, но действие не совсем законно, так как предок желал быть не копированным так как его конструктор копий закрыт. Т.е. другими словами компилятор ловит Вас на "жульничестве" 

Eще раз повторюсь, что если посмотрите выше найдете пример, позволяющий сделать законно и без напряга то что Вы хотите.

По каким? Понимаете, дуть на воду я и сам умею. Назовите правило, которое я нарушил в своём примере.


В чём же ошибка? Конструктор копирования у меня есть, присваивание у меня есть. Имею право throw-ить. 


Не могу согласиться. Язык не требует у меня, чтобы я в копирующем конструкторе наследника вызывал именно копирующий конструктор предка (а не какой-либо другой). Следовательно, если логика моей задачи позволяет в копирующем конструкторе инициализировать базовый класс по-другому, я могу это сделать и никакого жульничества тут нет.

Я полагаю, это высказывание основано на умозаключении что все конструкторы одинаковы. К сожалению это не так, и конструктор копий особый среди констукторов, а копирования рассматривается как отдельная тема.


12.8/14  




Следовательно :




Это сообщение отредактировал(а) mes - 5.3.2010, 22:44

Ошибочно полагаете. Это утверждение основано на том, что не возникает ошибки, если в копирующем конструкторе инициализировать базовый класс не копирующим, а другим конструктором.


Мой случай под это не подпадает, так как я не использую неявно недоступную специальную функцию. Так что не убедили.

ваш конструктор копирования может бросить исключение во время раскрутки стека и завалить все приложение, теперь убедил?  

Это относится к любому конструктору копирования, а не только к моему. Вы же сами сказали: чтобы объект можно было бросать, у его класса должен быть конструктор копирования и оператор присваивания. Эти условия выполнены. Так какого же х..а? 

Добавлено через 7 минут и 23 секунды
Поставим вопрос по другому: кто-нибудь может сказать, что именно в данный момент делает компилятор, что у него не выходит?

Вот по третьему примеру отсюда
http://forum.vingrad.ru/index.php?showtopi...t&p=2109551
я понимаю так:

компилятор создаёт объект A(), а затем пытается инициализировать a ссылкой на него; он видит, что конструктор по ссылке приватный и выдаёт ошибку.

Вот по этому примеру 
http://forum.vingrad.ru/index.php?showtopi...t&p=2110227
я понимаю так:

поскольку в классе B отсутствует копирующий конструктор, компилятор составляет его сам; там он пишет, мол, вызвать копирующий конструктор базового класса; а он у нас приватный приватный -- бац -- ошибка

Как можно подобным образом объяснить ошибку в моём случае?

если есть, то имеете, но обращаться к закрытым членам класса это права не дает  



такого

у вас bad_alloc может быть брошено  

Да Вы не используете, но 

так что сжульничать не получится 


если этот вопрос и теперь актуален, то  я могу в грубом примере пояснить что происходит 


Это сообщение отредактировал(а) mes - 6.3.2010, 01:44

Где я к ним обращаюсь, какой номер строки?


Не понимаю этой фразы.


Конечно, прошу Вас.

Добавлено через 14 минут и 5 секунд

То есть, Вы дополняете свои первоначальные требования? Теперь их список таков:

1) класс должен иметь копирующий конструктор
2) класс должен иметь оператор присваивания
3) класс не должен мочь выбросить bad_alloc

так?

Вот контрпример, он компилируется, хотя условие 3 нарушено 

А так в общем случае:


Это сообщение отредактировал(а) Леопольд - 6.3.2010, 01:10

Конструктор копии используется даже тогда,  когда  реализация фактически обходит его использование.

Вот иллюстрация сказанного:

раскомментируйте "private:" для получения ошибки, не смотря на то что реализация  не использует конструктор копии класса А.

Добавлено @ 01:22

нет, пункт 3 не по теме.


Это сообщение отредактировал(а) mes - 6.3.2010, 01:42

Как же она его не использует, когда он используется в макросе __CHECK_COPYABLE? Я не вижу тут никакого неявного использования -- тут есть явное.


Ха! Ну и что, что мы не знаем? В макросе вызывается копирующий конструктор, его вызов присутствует, в него можно ткнуть пальцем. А ткните-ка пальцем, где копирующий конструктор базового класса используется в моём примере?


Почему тогда компилируется другой пример, где нет throw?

Добавлено через 5 минут и 8 секунд
Ха! А вот такой код:



Работает. Проверил на VS и codepad: http://codepad.org/TViM3EQq

copy elision - это такая оптимизация, компилятор, в некоторых случаях может не копировать объект, передаваемый в качестве параметра или возвращаемый из функции, а использовать уже существующий


во первых не только bad_alloc, а любое исключение, во вторых, компилятор это никак не контролирует, просто твое приложение может упасть во время обработки какого-нибудь исключения

вообще, я не понимаю, почему не компилируется твой код, у меня нет под рукой компилятора, что-бы в этом разобраться, ясно только то, что происходит обращение к закрытому члену класса, где именно я не знаю
я бы на вашем месте, посмотрел на реализацию bsa, только унаследовал бы класс от std::exception

А, ну это понятно: оптимизация никогда не должна сказываться на логике. 


Да  я уже давно написал при помощи агрегации; теперь мне просто интересно, почему так себя ведёт компилятор в данном случае.

так о том и речь :



Наша реализация обходит использование копи-конструктора,  но он все равно используется компилятором.
т.е несмотря на программисту не нужен, компилятор его проверяет.


Ну-ка ткните пальцем    Никакого вызова копи-конструктора макросом не происходит, только проверяется его доступность.    



Это сообщение отредактировал(а) mes - 6.3.2010, 12:56

компилируется не значит работает  стандарт не запрещает компилировать, он лишь сообщает о том что такая программа ill-formed 


еще раз для закрепления  :


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


Это сообщение отредактировал(а) mes - 6.3.2010, 14:45

Хорошо, Вы правы, проверяется доступность. Но конструктор явно упоминается в выражении. Пример полностью аналогичен нижеследующему:



То есть, вы просто пытаетесь получить свойство члена, вам недоступного. Тут ни причём копирующие конструкторы и throw. Такой код всегда будет вызывать ошибку. И место, в котором это происходит, можно указать пальцем (см. комментарий).

Можете проделать то же самое с моим примером с ostringstream?

с той лишь разностью, что в Вашем случае проверка осуществляется программистом, а в моем компилятором, и мой код лишь грубая иллюстрация проверки.



сейчас я на секундочку заскочил, вернусь - попробую разобраться, что Вы просите проделать ..
 если что, может перефразируете, что именно не понятно, так как мне кажется что нить Вашей логики я упустил..



Это сообщение отредактировал(а) mes - 6.3.2010, 16:17

Я нашёл, в чём глюк. Ниже код.

Классы D и E оба наследуют от A (причём, D делает это косвенно и имея A виртуальным предком). В A конструктор копирования приватный (для всех), но это не мешает копировать и присваивать как D, так и E, так как в них определены свои конструкторы. Однако, стоит применить throw, возникает ошибка, причём только для класса D.

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



Добавлено через 7 минут и 43 секунды
P.S. Конечно, я забыл return *this; в операторе присваивания...

Проверка компилятором codepad подтверждает гипотезу, что я напал на след: http://codepad.org/Otzbacg6

Компилятор тут показывает ошибку точнее, чем VS, но и здесь ошибочным является только код D, но не E.

Осталось ещё разобраться, как удовлетворить "should be explicitly initialized in the copy constructor", ну и понять, откуда это требование возникает...

Добавлено через 9 минут и 7 секунд

Не понял. Обоснуйте это утверждение.

...

Это сообщение отредактировал(а) mes - 6.3.2010, 19:23

перечитал еще раз топик, вроде разобрался где свернули в разные стороны. 
сейчас объясню.

Добавлено @ 19:15

вот тут Вас интересует почему возникает ошибка компиляции, а не почему так нельзя делать.



вот теперь компилируется : http://codepad.org/dSptN7Fb, 
 но за работоспособность не ручаюсь - не настолько хорошо знаю язык ,
в душе и  по обоснованиям изложенных выше полагаю что ill formed  

ответ устраивает или я опять не на то ответил ? 

Это сообщение отредактировал(а) mes - 6.3.2010, 19:20