C ++ TMP Reflection, регистрация типа не удастся из -за функции шаблона ⇐ C++

[Anonymous]

У меня есть один вопрос с boost.pfr.
Энтони Полухин использовал Александр Полтавский (https://alexpolt.github.io/type-loophole.html), чтобы регистрировать посвященную полевой информации. По сути, поскольку C ++ не имеет встроенного отражения, г-н Полухин использовал преобразование оператора «Оператор шаблона t () {...}» для обнаружения полей класса. Для класса агрегата POD, как < /p>
struct A{int val1;...};
< /code>
Он будет использовать < /p>
struct U1{
templateoperator T(){...};
};
< /code>
Для инициализации структуры, подобной < /p>
A a{U1()};
< /code>
, для которого будет вызван оператор конвертации U1, и он прибегает к технике Полтавского, чтобы сохранить выведенный класс. Я предполагаю, что это произошло потому, что:

В шаблоне метапрограммирование (TMP) мы не можем изменить глобальный список/реестр/переменный/хранилище как во время выполнения, и, как правило, если мы хотим передать что -либо вокруг, мы обернув его внутри Typelist/HANA, по -видимому, обращаются/непрерывные. (должен соответствовать фактическому типу поля), и мы не можем записать возвращающийся тип в качестве богатого информацией тип, например, кортеж. /> Сначала объявляет прототип функции без неопределенного «Auto 'return Type». Это противоречит интуитивно, но разрешено (https://en.cppreference.com/w/cpp/language/friend.html) синтаксисом (2), а функция является независимой функцией, а не членом функции этого класса. Скузы.using namespace std;
template struct tag {};
auto loophole(tag);
template struct loophole_t {
friend auto loophole(tag) { return T{}; };
};
void f_Poltavsky() {
/*https://alexpolt.github.io/type-loophole.html*/
sizeof(loophole_t);
cout
------------- Bad (ошибка: функция Loophole 'с DED GOTER Type Thipusing namespace std;
template struct tag {};
auto loophole(tag);
template struct loophole_t {
friend auto loophole(tag) { return T{}; };
};
template /*cannot use auto in because of C++14*/
static void f1(T x) {
sizeof(loophole_t);
cout
Я не могу понять, что предотвращает его работать. Если Templated f1 () не работает, как он может работать внутри любого шаблонного оператора?>

Подробнее здесь: https://stackoverflow.com/questions/796 ... e-function