Шозабардак?

[spamsink]

#include <algorithm>
struct A { int a; };
struct B { long b; };
struct C { char data[std::max(sizeof(A), sizeof(B))]; }; 

Компилируем: line 4: error: array bound is not an integer constant

Subj.

Я понимаю, почему это происходит, но не понимаю, какого рожна это можно терпеть.

Comments

[archaicos.livejournal.com]

constexpr не хватает?

[spamsink]

Мало того, что у меня не C++11, так ведь в общем случае это не так, вот и нет его:
http://en.cppreference.com/w/cpp/algorithm/max

[dvv.livejournal.com]

Для этого господь дал нам юнионы.

[spamsink]

В юнионах нельзя держать не POD-классы (а ведь как было бы хорошо, если бы язык был еще чуть умнее, и позволял бы это, если все варианты - полиморфные).
Приходится делать собственные магические юнионы.

[dvv.livejournal.com]

Не было у бабы забот.

[spamsink]

Такты решают всё! См. updated code.

[solomon2.livejournal.com]

Переходите на нормальный язык уже! ;)

[spamsink]

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

[spamsink]

Не хватает constexpr T max(const T && a, const T && b);, пожалуй.

[fatoff.livejournal.com]

М... статический if придумали... хотя у тебя нет 11-го... но ведь будет! http://channel9.msdn.com/Events/GoingNative/GoingNative-2012/Static-If-I-Had-a-Hammer

[spamsink]

Моя задача решается тривиальным тернарным оператором, но всё равно непорядок. А статический if (if-generate) давным-давно существует в Верилоге. Вот откуда надо было идеи черпать!

[sab123.livejournal.com]

contexpr - это новое слово из 2011?

[spamsink]

Да. Типа "не боись, вычисляй в константных контекстах".

[lider.livejournal.com]

struct A { int a; };
struct B { long b; };
union AB{ struct A a; struct B b;};
struct C { char data[sizeof(AB)]; };

[spamsink]

Если вы, штатские, такие умные, добавьте к struct A и/или struct B, конструктор, и мы посмотрим, как вам удастся строем ходить.

[lider.livejournal.com]

struct A {
public: A(int zero){ a = zero; }
int a; };
struct B {
protected:
B(long int zero = 0L){ b = zero;}
long b; };
union AB{ struct A a; struct B b;};
struct C { char data[sizeof(AB)]; };

[spamsink]

Компилировать пробовали?

bool compilable = true;

[lider.livejournal.com]

можно на тьї, я ж штатский ;)

На моем компилится так как я записал,
на старом будет так:

struct A {public: A(int zero){ a = zero; } int a; };
struct B {protected: B(long int zero = 0L){ b = zero;} long b; };

struct dA { char data[sizeof(A)];};
struct dB { char data[sizeof(B)];};

union AB{ struct dA a; struct dB b;};

struct C { char data[sizeof(AB)]; };

Re: bool compilable = true;

[spamsink]

Неотредактированному варианту не помогает:

union.cc:15: error: member ‘A AB::a’ with constructor not allowed in union
union.cc:15: error: member ‘B AB::b’ with constructor not allowed in union

(GСС 4.4, если что)

А отредактированный длинее, чем char data[sizeof(A) > sizeof(B) ? sizeof(A) : sizeof(B)];

Я ж не прошу помочь мне написать то, что я хочу, я на С++ жалуюсь.

[lider.livejournal.com]

"А отредактированный длинее, чем char data[sizeof(A) > sizeof(B) ? sizeof(A) : sizeof(B)];"

Колоссально!

[spamsink]

Так что за компилятор позволяет юнионы с не-POD классами?

Ах, C++11... Им пока только дома развлекаться, на работе он не допущен к применению.

[lider.livejournal.com]

cc --version
Apple clang version 4.0 (tags/Apple/clang-421.0.60) (based on LLVM 3.1svn)

так что там у кого длиннее? Для интереса полез на онлайн-компилятор - везде одинаковая длина.

Код в студию!

[spamsink]

Я про длину исходного кода. :)

[lider.livejournal.com]

таки да колоссально.

http://codepad.org/Knn5Detq

[spamsink]

Что-то мы о разном.
Я о том, что даже в C++11 у std::max нет constexpr-варианта, хотя казалось бы.
И о том, что в любом конкретном случае при письме на C++03, где нельзя вставлять настоящие классы в union и приходится прибегать к двухшаговой записи, явно записанное условное выражение будет текстуально короче, чем эта двухшаговая запись, поэтому нет смысла мучиться.

Но спасибо за указание на unrestricted unions. Список нововведений я когда-то читал, а без практики, естественно, о многом успел позабыть.