Что означает решетка внутри макроса?

@Undisputed · Регистрация: 10.06.2014

Студворк — интернет-сервис помощи студентам

Нашёл код, там внутри макроса используются решетки. Что это означает? Если объясните сам код вообще было бы круто!

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#include <iostream>
 
#define CREATE_MEMBER_DETECTOR(X)                                                   \
template<typename T> class Detect_##X {                                             \
    struct Fallback { int X; };                                                     \
    struct Derived : T, Fallback { };                                               \
                                                                                    \
    template<typename U, U> struct Check;                                           \
                                                                                    \
    typedef char ArrayOfOne[1];                                                     \
    typedef char ArrayOfTwo[2];                                                     \
                                                                                    \
    template<typename U> static ArrayOfOne & func(Check<int Fallback::*, &U::X> *); \
    template<typename U> static ArrayOfTwo & func(...);                             \
  public:                                                                           \
    typedef Detect_##X type;                                                        \
    enum { value = sizeof(func<Derived>(0)) == 2 };                                 \
};
 
CREATE_MEMBER_DETECTOR(first);
CREATE_MEMBER_DETECTOR(second);
 
int main(void)
{
  typedef std::pair<int, double> Pair;
  std::cout << ((Detect_first<Pair>::value && Detect_second<Pair>::value)? "Pair" : "Not Pair");
}

http://rextester.com/SKFM52216

@dawn artist · 10.07.2017, 19:55

Сообщение от Undisputed

Что это означает?

Конкатенацию токенов. https://gcc.gnu.org/onlinedocs... ation.html

@Undisputed · 10.07.2017, 19:58 **[ТС]**

Судя по всему решетка задаёт остаток имени. Но почему именно ##X? Это синтаксис такой или можно и по другому ?

@gray_fox · 10.07.2017, 20:00

# - преобразует идентификатор в строковый литерал.
## - конкатенация.
en.cppreference.com/w/cpp/preprocessor/replace. См. # and ## operators.

@Undisputed · 10.07.2017, 20:07 **[ТС]**

daun-autist, gray_fox,
Круто, спасибо!

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

@dawn artist · 10.07.2017, 20:10

Undisputed, что тут разбираться?
Раскрытие макроса CREATE_MEMBER_DETECTOR(first); превращается в определение шаблона класса

C++
1
2
3
template<typename T> class Detect_first {
и т.д.
};;

## нужно чтобы токены Detect_ и first были объединены в один токен Detect_first

@Undisputed · 10.07.2017, 20:12 **[ТС]**

daun-autist,
Я про логику в коде. Например не понятно зачем там два массива char которые состоят из 1 и 2 элементов

@gray_fox · 10.07.2017, 20:38

Undisputed, данный макрос разворачиватся в type_trait для определения наличия члена класса.
Ещё pre-C++11, сейчас можно и покороче написать.

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

Сообщение от Undisputed

не понятно зачем там два массива char которые состоят из 1 и 2 элементов

Там два шаблона функций. Первый инстанциируется, если у T есть член X. Иначе второй (у функций с элипсисом наименьший приоритет - это fallback). Два массива char нужны для того, что бы понять, какой из этих шаблонов функций инстанциировался (за счёт sizeof).

Добавлено через 13 минут
Сейчас можно использовать специализацию c void_t: http://en.cppreference.com/w/cpp/types/void_t.

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

@dawn artist · 10.07.2017, 20:39

Сообщение от Undisputed

Например не понятно зачем там два массива char которые состоят из 1 и 2 элементов

Для определения того, какой из шаблонов функции func был выбран в func<Derived>(0).

Попытаюсь ниже не соврать.

Если в типе T (в частности, здесь это Pair a.k.a. std::pair<int, double>) есть член X (здесь first или second), то шаблон

C++
1
template<typename U> static ArrayOfOne & func(Check<int Fallback::*, &U::X> *);

не выберется в func<Derived>(0), т.к. будет неясно, какой из Derived::X (Derived::first) имеется в виду в &U::X, будет ambiguity. Но мы знаем, что substitution failure is not an error, поэтому этот шаблон просто удалится из кандидатов и будет выбран второй шаблон.

Если же в типе T нет члена X, то при выборе первого шаблона не возникнет неоднозначности с тем, на какое из полей ссылается U::X.

Сообщение от gray_fox

Первый инстанциируется, если у T есть член X.

Правильно. Только наоборот.

@gray_fox · 10.07.2017, 20:45

Сообщение от daun-autist

Правильно. Только наоборот.

Да, наоборот.

@dawn artist · 10.07.2017, 20:48

Сообщение от daun-autist

неясно, какой из Derived::X (Derived::first) имеется в виду

Я тут неаккуратно написал: будет не ясно, T::X или Fallback::X имеется в виду.

Короче, вы понели.

@Undisputed · 10.07.2017, 22:00 **[ТС]**

daun-autist,

в мейне почему то проверяется если оба вызова инстанциировали шаблон с эллипсисом, тогда это pair. А нам же нужно наоборот т.к именно шаблон без эллипсиса определяет наличие нужного члена класса.

Но это работает)) видимо я чего то не догоняю

Добавлено через 4 минуты
Помоему шаблон без эллипсиса больше подходит для того чтоб определить есть в классе искомый член или нет
Но раз работает наверное я ошибаюсь...просто параметры этого шаблона визуально выглядят более подходящими

@dawn artist · 10.07.2017, 22:48

Undisputed, я же вроде всё расписал довольно подробно...

Когда в типе T есть член с именем X, то в Derived, унаследованном от Fallback (в котором тоже есть член X) и T, возникают два члена X: T::X и Fallback::X.
И в шаблоне

C++
1
template<typename U> static ArrayOfOne & func(Check<int Fallback::*, &U::X> *);

вызываемом с U = Derived, в U::X = Derived::X возникает неоднозначность с тем, на какой X — T::X и Fallback::X — ссылаются. Из-за этой неоднозначности шаблон исключается из списка кандидатов.

@Undisputed · 10.07.2017, 23:05 **[ТС]**

daun-autist,
Вот оно что.
Теперь понятно, спасибо.

Добавлено через 3 минуты
Просто обычно ошибки вроде ambiguous приводят к ошибке компиляции, но в данном случае кандидат на инстанциирование просто отбрасывается.
С этой точки зрения об этом я даже и не задумался

@dawn artist · 10.07.2017, 23:10

Сообщение от Undisputed

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

Это называется SFINAE.

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

Сообщение от daun-autist

неоднозначность с тем, на какой X — T::X и Fallback::X — ссылаются.

T::X или Fallback::X

@dawn artist · 12.07.2017, 09:40

Не по теме:

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

@Ivan-88 · 30.03.2020, 21:40

Не понятно что значит Fallback::* ?
* указатель на тип Fallback? Если да, то где имя указателя? Обычно например пишут int *p, что означает что это указатель на тип int и имя указателя, а здесь как?

C++
1
template<typename U> static ArrayOfOne & func(Check<int Fallback::*, &U::X> *);

@DrOffset · 30.03.2020, 21:47

Сообщение от Ivan-88

Не понятно что значит Fallback::* ?

Неверно читаете.
Не Fallback::*, а int Fallback::* - это указатель на нестатический член типа int класса Fallback.

Сообщение от Ivan-88

&U::X

Это взятие адреса этого члена.

Сообщение от Undisputed

template<typename U, U> struct Check;

typename U - будет int Fallback::*

Сообщение от Ivan-88

где имя указателя?

Вот здесь, оно опущено за ненадобностью:

C++
1
template<typename U, U /*имя указателя*/> struct Check;

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	10.07.2017, 19:58 [ТС]
	Судя по всему решетка задаёт остаток имени. Но почему именно ##X? Это синтаксис такой или можно и по другому ? 0

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	10.07.2017, 20:00
	# - преобразует идентификатор в строковый литерал. ## - конкатенация. en.cppreference.com/w/cpp/preprocessor/replace. См. # and ## operators. 1

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	10.07.2017, 20:07 [ТС]
	daun-autist, gray_fox, Круто, спасибо! Попытаюсь разобрать код на основе полученных знаний, но если кто то решит пояснить буду только рад! 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	10.07.2017, 20:12 [ТС]
	daun-autist, Я про логику в коде. Например не понятно зачем там два массива char которые состоят из 1 и 2 элементов 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	10.07.2017, 22:00 [ТС]
	daun-autist, в мейне почему то проверяется если оба вызова инстанциировали шаблон с эллипсисом, тогда это pair. А нам же нужно наоборот т.к именно шаблон без эллипсиса определяет наличие нужного члена класса. Но это работает)) видимо я чего то не догоняю Добавлено через 4 минуты Помоему шаблон без эллипсиса больше подходит для того чтоб определить есть в классе искомый член или нет Но раз работает наверное я ошибаюсь...просто параметры этого шаблона визуально выглядят более подходящими 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	10.07.2017, 23:05 [ТС]
	daun-autist, Вот оно что. Теперь понятно, спасибо. Добавлено через 3 минуты Просто обычно ошибки вроде ambiguous приводят к ошибке компиляции, но в данном случае кандидат на инстанциирование просто отбрасывается. С этой точки зрения об этом я даже и не задумался 0

@dawn artist
	12.07.2017, 09:40
	Не по теме: Как-то я свалил терминологию из инстанциации шаблонов и выбора перегруженной функции в одну кучу. Ну да ладно. 0