Почему не компилируется макрос?

Question

[Nightmare A]

#define ОпределениеНазвания(НАЗВАНИЕ) _с__Машинный__ ## НАЗВАНИЕ

#define Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2) \
    ОпределениеНазвания(НАЗВАНИЕ1 ## _ ## НАЗВАНИЕ2)

#define НФлагИнициализации(НАЗВАНИЕ1, НАЗВАНИЕ2) \
    Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2) ## флаг_инициализации

../Стороннее/webdriverxx/src/include/webdriverxx/detail/to_string.h:120:42: warning: multi-character character constant [-Wmultichar]
  120 |                         result.push_back('//');
      |                                          ^~~~
In file included from ../Исходники/Машинный/Определения/Типы Данных/../Шаблон Перечислений.hpp:4,
                 from ../Исходники/Машинный/Определения/Типы Данных/Базовые.h:100,
                 from ../Исходники/Машинный/Определения/Типы Данных.h:12,
                 from ../Исходники/Машинный/Определения/Определения.h:15,
                 from ../Исходники/Машинный/Определения.h:5,
                 from ../Исходники/Точка Входа.cpp:3:
../Исходники/Машинный/Определения/Типы Данных/../Уловки Кода.hpp:30:46: error: pasting ")" and "флаг_инициализации" does not give a valid preprocessing token
   30 |     Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2) ## флаг_инициализации

Comments

[Lynn «Кофеман»]

А при чём тут макрос если у вас с синтаксисом проблемы?

[CityCat4]

Мне одному показалось, что здесь какой-то бред? Поначалу вообще подумал, что вопрос про 1С...

[Nightmare A]

Lynn «Кофеман», Что тут с синтаксисом не так если на visual studio работает нормально?

Answer 1

[jcmvbkbc]

Почему не компилируется макрос?

#define НФлагИнициализации(НАЗВАНИЕ1, НАЗВАНИЕ2) \
    Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2) ## флаг_инициализации

error: pasting ")" and "флаг_инициализации" does not give a valid preprocessing token

потому что ты думаешь, что сначала выполнится подстановка макроса Определение2Названия, а потом к результату будет приклеен флаг_инициализации, в то время как на самом деле сначала препроцессор делает подстановку НАЗВАНИЕ1 и НАЗВАНИЕ2 и приклеивает флаг_инициализации к скобочке, после чего рапортует тебе о том, что полученный результат выглядит не очень.
Чтобы заработало тебе прийдётся тащить ## флаг_инициализации внутрь Определение2Названия.

Comments

[Nightmare A]

visual studio компилил этот код без проблем, думал на линуксе так же. Буду использовать gcc везде тогда.

[Nightmare A]

как эквивалентно записать?

[jcmvbkbc]

как эквивалентно записать?

Чтобы заработало тебе прийдётся тащить ## флаг_инициализации внутрь Определение2Названия.

[Nightmare A]

jcmvbkbc,

#define МашинныйОпределениеПсевдоСамоанализаКлассаРеализация(НАЗВАНИЕ_КЛАССА, БЛОК_КОДА) \
    Рефлексия::СписокДанныхОФункциях НАЗВАНИЕ_КЛАССА ## ::__Список_Методов_Класса; \
    МашинныйРеализацияСтатическогоБлокаИнициализацииКласса(НАЗВАНИЕ_КЛАССА, БЛОК_КОДА);

а тот шо не так? ## должно связывать одно с переменными.

[jcmvbkbc]

visual studio компилил этот код без проблем

насколько я понимаю, visual studio неправ согласно eelis.net/c++draft/cpp.concat#3 и eelis.net/c++draft/lex.pptoken#nt:preprocessing-token потому что )флаг_инициализации не является одним валидным токеном препроцессора.

[jcmvbkbc]

а тот шо не так?

Nightmare A, я не вижу никакой связи с обсуждаемым вопросом. Один топик -- один вопрос.

[Nightmare A]

А сейчас почему не собирается? Я ошибки не вижу.

../Исходники/Машинный/Сеть/Автоматы/../../База/Журнал.hpp: In static member function ‘static bool Журнал::СтатическиИнициализированныйЖурналКласс()’:
../Исходники/Машинный/Определения/Типы Данных/../Уловки Кода.hpp:30:59: error: expected primary-expression before ‘,’ token
   30 |     флаг_инициализации__ ## Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2)

[jcmvbkbc]

А сейчас почему не собирается?
флаг_инициализации__ ## Определение2Названия

Nightmare A, ровно по той же причине, что и в оригинальном вопросе: эти два слова флаг_инициализации__ ## Определение2Названия склеиваются до того как выполнется подстановка Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2).

[Nightmare A]

jcmvbkbc, Как развернуть макрос внутри макроса?

[jcmvbkbc]

Как развернуть макрос внутри макроса?

упомянув его по имени:

#define merge(a, b) a ## b
#define foo(НАЗВАНИЕ1, НАЗВАНИЕ2) \
    merge(флаг_инициализации__, Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2))

[Nightmare A]

jcmvbkbc,

#define ОпределениеНазвания(НАЗВАНИЕ) Объединить(_с__Машинный__, НАЗВАНИЕ)

#define Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2) \
    ОпределениеНазвания(Объединить(Объединить(НАЗВАНИЕ1, _), НАЗВАНИЕ2))

#define НФлагИнициализации(НАЗВАНИЕ1, НАЗВАНИЕ2) \
    Объединить(флаг_инициализации__, Определение2Названия( НАЗВАНИЕ1, НАЗВАНИЕ2 ))

../Исходники/Машинный/Сеть/Автоматы/SeleniumАвтоматизация.hpp: In static member function ‘static bool Машинный::Интернет::Автоматы::SeleniumАвтоматизация::СтатическиИнициализированныйSeleniumАвтоматизацияКласс()’:
../Исходники/Машинный/Определения/Типы Данных/../Уловки Кода.hpp:33:69: error: expected primary-expression before ‘,’ token
   33 |     Объединить(флаг_инициализации__, Определение2Названия( НАЗВАНИЕ1, НАЗВАНИЕ2 ))
      |                                                                     ^

А теперь что не так?

[jcmvbkbc]

#define Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2) \
ОпределениеНазвания(Объединить(Объединить(НАЗВАНИЕ1, _), НАЗВАНИЕ2))

скорее всего можно упростить до

#define Определение2Названия(НАЗВАНИЕ1, НАЗВАНИЕ2) \
    ОпределениеНазвания(НАЗВАНИЕ1 ## _ ## НАЗВАНИЕ2)

А теперь что не так?

покажи что написано в исходнике, где ты используешь макрос.

[Nightmare A]

jcmvbkbc,

/**
 * @brief Описывает текущий исполняемый файл. Буть то исполняемый файл или библиотека расширения.
 * 
 */
class ТекущийЗапущенныйОбъект : Машинный::Filesystem::File
{
  МашинныйОднозначныйКласс( ТекущийЗапущенныйОбъект, {
    std::cout << "\tПервичный путь до исполняемого объекта : " << ПолучитьПервичныйПуть()
            << "\n\tРеальный путь до исполняемого объекта : " << ПолучитьРеальныйПуть()
            << "\n\tДинамическая библиотека? " << ЯвляетсяЛиДинамическойБиблиотекой() << std::endl;
  }, : Машинный::Filesystem::File(ПолучитьРеальныйПуть()) );

/**
 * объявление рефлексии класса 
 */
#define МашинныйОпределениеПсевдоСамоанализаКласса(NAME, КОД_ПЕРЕЧНЯ_МЕТОДОВ) \
  public: \
    virtual \
    inline const std::string  названиеКласса() { return НазваниеКласса(); } \
    static \
    inline const std::string  НазваниеКласса() { return #NAME; } \
  private: \
    МашинныйОбъявлениеСтатическогоБлокаКласса(NAME); \
    static Рефлексия::СписокДанныхОФункциях __Список_Методов_Класса; \
  public: \
    static \
    inline Машинный::Types::ullong СамоанализПолучитьКоличествоДоступныхМетодов() { return __Список_Методов_Класса.size(); } \
    static \
    inline void ВывестиИнформациюОМетодах() { \
        for (auto [названиеМетода, укаатель, параметры] : NAME :: __Список_Методов_Класса) \
        { \
            std::cout << названиеМетода << ", " << параметры << std::endl; \
        } \
    } \
  private: \
    СтатическийБлокКодаКлассаИницциализацияВЗаглавии(КОД_ПЕРЕЧНЯ_МЕТОДОВ); \
  public: \
    static bool ИмеетЛиКлассСредстваСамоанализа()  {return true;}

#define СтатическийБлокКодаКлассаИницциализацияВЗаглавии(КОД_ИНИЦИАЛИЗАЦИИ) \
    private: \
	    static inline struct _sst__ ## __COUNTER__  { \
            _sst__ ## __COUNTER__ () \
            { \
                {RunOnceBlockCode(HEADBEGIN, КОД_ИНИЦИАЛИЗАЦИИ) ;} \
            } \
        } static_initial{};

../Исходники/Машинный/База/Файлы/ТекущийЗапущенныйОбъект.hpp:16:3: note: in expansion of macro ‘МашинныйОднозначныйКласс’
   16 |   МашинныйОднозначныйКласс( ТекущийЗапущенныйОбъект, {
      |   ^~~~~~~~~~~~~~~~~~~~~~~~
../Исходники/Машинный/Определения/Типы Данных/../Уловки Кода.hpp:33:81: error: expected primary-expression before ‘)’ token
   33 |     Объединить(флаг_инициализации__, Определение2Названия( НАЗВАНИЕ1, НАЗВАНИЕ2 ))

#define МашинныйОднозначныйКласс(НАЗВАНИЕ_КЛАССА, КОД_ЛОКАЛЬНОГО_КОНСТРУКТОРА, КОД_ВЫЗОВА_РОДИТЕЛЬСКОГО_КЛАССА) \
  private: \
    static inline НАЗВАНИЕ_КЛАССА * __однозначный = nullptr; \
  public: \
    static НАЗВАНИЕ_КЛАССА * ПолучитьЕдинственныйОбъектКласса() {return __однозначный;} \
   ~НАЗВАНИЕ_КЛАССА() {} \
    НАЗВАНИЕ_КЛАССА() КОД_ВЫЗОВА_РОДИТЕЛЬСКОГО_КЛАССА {if (__однозначный != nullptr) \
        throw std::exception("Невозможно создать объкт однозначного класса."); \
      else { \
        { КОД_ЛОКАЛЬНОГО_КОНСТРУКТОРА; } } } \
    МашинныйОпределениеПсевдоСамоанализаКласса(НАЗВАНИЕ_КЛАССА, {__однозначный = new НАЗВАНИЕ_КЛАССА ();})

[jcmvbkbc]

здесь нет определения макроса МашинныйОднозначныйКласс

[Nightmare A]

jcmvbkbc, добавил после редактирования.

[jcmvbkbc]

Я вижу какую-то фигню здесь:

static inline struct _sst__ ## __COUNTER__  { \
            _sst__ ## __COUNTER__ () \
            { \
                {RunOnceBlockCode(HEADBEGIN, КОД_ИНИЦИАЛИЗАЦИИ) ;} \
            } \
        } static_initial{};

По-хорошему следовало бы пропустить этот код через препроцессор и смотреть на то, что получилось, но поскольку тут всё по-русски, из-под препроцессора вместо букв выходят коды юникодовых символов. Надеюсь, ты научищься их читать со временем. Я этого делать не планирую.

[Nightmare A]

jcmvbkbc, Код выполняется при инициализации класса для копирования