MSVC + дека

[Igors]

Добрый день

"Самый строгий компилятор" (по Вересу) отказывается, падла, компилить это

Код

C++ (Qt)
#include <deque>
 
struct CItem {
	std::deque <CItem> mChild;
};
 

Если заменить деку на вектор - все норм, но по задаче так нельзя. Шо делать ? 

Спасибо

[Old]

Шо делать ? 

В мусор его, это компилятор.

[Bepec]

Ммм... а он должен такое издевательство компилить? Прошу цитатку из руководства по С++

[kambala]

можно хранить указатели

[m_ax]

Шо делать ? 

Уж боюсь предлагать:

Код

C++ (Qt)
#include <deque>
 
struct CItem {
	std::deque <boost::recursive_wrapper<CItem>> mChild;
};
 
 

[Bepec]

Аплодисменты m_ax

[m_ax]

Или как вариант:

Код

C++ (Qt)
#include <boost/container/deque.hpp>
 
using namespace boost::container;
 
struct CItem {
	deque<CItem> mChild;
};
 

[Alex Custov]

Ммм... а он должен такое издевательство компилить? Прошу цитатку из руководства по С++

Класс считается типом сразу после объявления имени. Поэтому возможны необычные конструкции типа

Код

C++ (Qt)
class X : public Singleton<X>
{
...
};

[m_ax]

Ммм... а он должен такое издевательство компилить? Прошу цитатку из руководства по С++

Класс считается типом сразу после объявления имени. Поэтому возможны необычные конструкции типа

Код

C++ (Qt)
class X : public Singleton<X>
{
...
};

Это не совсем верно.. В данном случае, Singleton не зависит от типа X (т.е. внутри него нет переменных X) а значит на момент раскрутки этого выражения  class X : public Singleton<X> размер Singleton известен. Любое наследование от специализации Singleton полностью определяется на момент компиляции.   

[Bepec]

Да, почитал стандарт - действительно.

Однако list и vector спокойно комплируются. Значит проблема в deque.

[m_ax]

Однако list и vector спокойно комплируются. Значит проблема в deque.

Ничего удивительного, MSVC же 

[Bepec]

Ругается причём на

Код:

#define _DEQUESIZ	(sizeof (_Ty) <= 1 ? 16 \
	: sizeof (_Ty) <= 2 ? 8 \
	: sizeof (_Ty) <= 4 ? 4 \
	: sizeof (_Ty) <= 8 ? 2 : 1)

.

Имеется мысль(мб глупая) что класс то объявлен, а вот его размер ещё неизвестен. Что равнозначно

Код:

class CItem;
std::deque <CItem> mChild;

Ииии... Да, равнозначная ошибка. Как тип класс объявлен, но как объект - нет и получить его размеры не получается.

Не вижу где тут противоречие стандарту. Тип объявлен и имеется. Всё верно.

PS возражения?

[m_ax]

Не вижу где тут противоречие стандарту. Тип объявлен и имеется. Всё верно.

Это здесь нет противоречий стандарту?

Код

C++ (Qt)
class CItem;
std::deque <CItem> mChild;
 

Это не только с декой, это с чем угодно работать не будет.. 

[Bepec]

Да, не будет работать с чем угодно, но зато предоставляет понимание проблемы.

А теперь усовершенствуем эту основу.

Вот что у нас получается

Код:

class CItem;
// Тип объявлен и доступен всем.
// The class-name is also inserted into the scope of the class itself; this is known as the injected-class-name.
std::deque <CItem> mChild;
// пытается определить размер типа. Фейл -> ошибка -> прерываем компиляцию.
class CItem 
{int a;};
// а тут мы видим скобку, которая завершает реализацию класса и по стандарту он определён.
//A class is considered defined after the closing
brace of its class-specifier has been seen even though its member functions are in general not yet defined.

Вектор, лист и прочие контейнеры, использующие указатели - компилируются.

Deque пытается сразу при объявлении посчитать размер типа CItem. Но на данном этапе он только объявлен и компилятор вообще не в курсе об реализации. Потому размер неизвестен.

Вот и весь сказ. Получилось нормальное описание происходящего. Думаю Igors будет доволен

PS а главное - соответствует стандарту!
PPS а иное поведение и компиляция есть отхождение от святого стандарта и его святого компилятора

[m_ax]

PPS а иное поведение и компиляция есть отхождение от святого стандарта и его святого компилятора

Да, поэтому святому MSVC всегда можно простить за слегка кривую "не очень" реализацию deque )