Пустая структура

[Igors]

Добрый день

Увидел такой приемчик

Код

C++ (Qt)
 
static struct StepTy {
} step MAYBE_UNUSED;
 
static struct EmptyTy {
} empty MAYBE_UNUSED;
 

Макруха для понту, можно не обращать внимания

Код

C++ (Qt)
 
#ifdef __GNUC__
  #define MAYBE_UNUSED __attribute__((used))
#else
  #define MAYBE_UNUSED
#endif
 

И оказывается, "пустые" структуры очень лихо юзаются 

[_Bers]

Используются. Ну и ?

[Igors]

Используются. Ну и ?

То Вы такой продвинутый, а для меня это было маленьким открытием. Типа "во, блин, и так можно"

[_Bers]

а для меня это было маленьким открытием. Типа "во, блин, и так можно"

Сказать "вау!"  - это единственная причина создания этой темы?

[Bepec]

Бредовая тема, если честно.

[gil9red]

Объясните, пожалуйста, а для чего нужны пустые структуры?

[Igors]

Объясните, пожалуйста, а для чего нужны пустые структуры?

Пример использования

Код

C++ (Qt)
struct BBox {
 BBox( void ) {}
 BBox( EmptyTy ) : lower(inf), upper(-inf) {}
 ..
};
..
BBox box(empty);

[gil9red]

Объясните, пожалуйста, а для чего нужны пустые структуры?

Пример использования

Код

C++ (Qt)
struct BBox {
 BBox( void ) {}
 BBox( EmptyTy ) : lower(inf), upper(-inf) {}
 ..
};
..
BBox box(empty);

Структура не пустая: есть конструкторы и судя по второму конструктору, присутствуют поля lower и upper.

В первом сообщение показаны 2 структуры, и мне не понятно зачем они вообще нужны? Какую роль выполняют

[Igors]

Структура не пустая: есть конструкторы и судя по второму конструктору, присутствуют поля lower и upper.

В первом сообщение показаны 2 структуры, и мне не понятно зачем они вообще нужны? Какую роль выполняют

Второй конструктор BBox принимает аргумент EmptyTy (пустая структура из первого сообщения)

[Bepec]

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

[Johnik]

Пример использования: O Boost Multi-index Containers

[gil9red]

Пример использования: O Boost Multi-index Containers

Вижу

[_Bers]

Пример использования: O Boost Multi-index Containers

Вы ошибаетесь. Пример ввел вас в заблуждение.

Если вы ещё раз внимательно посмотрите на этот пример, то вы заметите: нигде не используются объекты типов-тэгов.

Другими словами, этим структурам вообще не нужны определения (не нужны туловища).
Достаточно будет forward declaration.
И поэтому этот пример не может быть примером использования пустышек.
---------------------------------------


Вот настоящий пример использования пустышек:


В рамках с++03 реализация имитации variardic template (функций с переменным количеством аргументов, с сохранением типо безопасности):

Код:

void Foo(Arg a1, Arg a2 = SEmpty(), Arg a3 = SEmpty() )
{
    ...
}

Здесь можно указать от 1 до 3х аргументов.

Arg - это механизм, способный принять ссылку любого объекта и проконтролировать типо безопасность.
(при извлечении будет выполнена проверка квалификаторов и типов)

При вызове функции Foo, все не указанные аргументы по умолчанию превратятся в пустышку SEmpty.

Внутри туловища функции Foo ожидают, что часть аргументов может быть пустышками.
Там умеют корректно обработать "отсутствие аргумента".

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

И поскольку, функция не шаблонная, её можно сделать виртуальной.

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

[Igors]

Вы ошибаетесь. Пример ввел вас в заблуждение.

Это open-sources которые я сейчас прикручиваю. Не вижу где я ошибаюсь Пример из буста намного сложнее, но смысл тот же: пустышка "натравливает" на вызов именно этой ф-ции/метода, где знают что делать. 

В рамках с++03 реализация имитации variardic template (функций с переменным количеством аргументов, с сохранением типо безопасности):

Код:

void Foo(Arg a1, Arg a2 = SEmpty(), Arg a3 = SEmpty() )
{
    ...
}

Здесь можно указать от 1 до 3х аргументов.

Arg - это механизм, способный принять ссылку любого объекта и проконтролировать типо безопасность.
(при извлечении будет выполнена проверка квалификаторов и типов)

Под извлечением имелась ввиду "инстанциация"? Но ведь ф-ция не template. Непонятно, объясните.

Спвсибо

[sergek]

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