неполные типы с std :: map и std :: variant

Рассмотрим эту упрощенную и очень конкретную реализацию рекурсивного варианта поверх std::variant:

#include <map>
#include <variant>

struct recursive_tag;

template <typename...>
struct RecursiveVariant;

template <>
struct RecursiveVariant<int, std::map<int, recursive_tag>>
    : std::variant<int, std::map<int, RecursiveVariant<int, std::map<int, recursive_tag>>>>
{
    using underlying = std::variant<int,
          std::map<int, RecursiveVariant<int, std::map<int, recursive_tag>>>>;
    using underlying::underlying;
};


int main() {
    RecursiveVariant<int, std::map<int, recursive_tag>> rv; 
}

Это не удается скомпилировать на gcc 7/8 из-за попытки создать экземпляр std::pair<const int, recursive_tag>, который сам терпит неудачу, потому что recursive_tag является неполным типом.

Но ничто в вызове-стеке компилятора не указывает мне, почему нужно создать экземпляр std::pair<const int, recursive_tag>. Верхняя строка:

вариант: 252: 48: требуется от ' void std::__detail::__variant::__erased_dtor(_Variant&&) [with _Variant = const std::__detail::__variant::_Variant_storage<false, int, std::map<int, RecursiveVariant<int, std::map<int, recursive_tag, std::less<int>, std::allocator<std::pair<const int, recursive_tag> > > >, std::less<int>, std::allocator<std::pair<const int, RecursiveVariant<int, std::map<int, recursive_tag, std::less<int>, std::allocator<std::pair<const int, recursive_tag> > > > > > > >&; long unsigned int _Np = 0] void std::__detail::__variant::__erased_dtor(_Variant&&) [with _Variant = const std::__detail::__variant::_Variant_storage<false, int, std::map<int, RecursiveVariant<int, std::map<int, recursive_tag, std::less<int>, std::allocator<std::pair<const int, recursive_tag> > > >, std::less<int>, std::allocator<std::pair<const int, RecursiveVariant<int, std::map<int, recursive_tag, std::less<int>, std::allocator<std::pair<const int, recursive_tag> > > > > > > >&; long unsigned int _Np = 0]

указывая на:

249   template<typename _Variant, size_t _Np>
250     void
251     __erased_dtor(_Variant&& __v)
252     { std::_Destroy(std::__addressof(__get<_Np>(__v))); }

В то время как в нем написана map<int, recursive_tag> типа map<int, recursive_tag>, фактический тип map который должен быть создан, - map<int, RecursiveVariant<int, map<int, recursive_tag>>>..., который должен требовать только создания pair<const int, RecursiveVariant<...>>.

Простое выполнение recursive_tag (т.е. добавлением {}) устраняет проблему. Но с чего начинается эта проблема?

Ответ 1

Вызов линии

std::_Destroy(std::__addressof(__get<_Np>(__v)));

Необходимость выполнить ADL для __get достаточно, чтобы инициировать создание экземпляра любого и всех связанных классов типа __v, т. _Variant, для поиска потенциальных функций друга (и шаблонов функций) с таким именем, определенным в этих классах. Это включает pair которая сбила вас с толку.