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

@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;

Новые блоги и статьи Все статьи Все блоги /
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Нашел на реддите интересную статью под названием «Кто-нибудь знает, где получить бесплатный компьютер или. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .

@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