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

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

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

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

C++

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

@~~dawn artist~~ Заблокирован
	10.07.2017, 23:10	15
	Сообщение от Undisputed Просто обычно ошибки вроде ambiguous приводят к ошибке компиляции, но в данном случае кандидат на инстанциирование просто отбрасывается. Это называется SFINAE. Добавлено через 1 минуту Сообщение от daun-autist неоднозначность с тем, на какой X — T::X и Fallback::X — ссылаются. T::X или Fallback::X 0

@~~dawn artist~~ Заблокирован
	10.07.2017, 19:55	2
	Сообщение от Undisputed Что это означает? Конкатенацию токенов. https://gcc.gnu.org/onlinedocs... ation.html 1

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

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

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

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

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	10.07.2017, 20:38	8
	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 минуту Хотя, конечно, для каждого члена класса и т.д. придётся так же иметь отдельный класс. 1

@gray_fox What a waste! 1610 / 1302 / 180 Регистрация: 21.04.2012 Сообщений: 2,733
	10.07.2017, 20:45	10
	Сообщение от daun-autist Правильно. Только наоборот. Да, наоборот. 0

@~~dawn artist~~ Заблокирован
	10.07.2017, 20:48	11
	Сообщение от daun-autist неясно, какой из Derived::X (Derived::first) имеется в виду Я тут неаккуратно написал: будет не ясно, `T::X` или `Fallback::X` имеется в виду. Короче, вы понели. 0

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

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

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