C++17 вариант‹любой› внутри класса

Следующий код компилируется хорошо:

int main()
{
    variant<any> var;
    var = 5;
    cout << any_cast<int>(get<any>(var)) << endl;
    return 0;
}

Но когда я пытаюсь поместить variant<any> в класс

struct MyClass{
    variant<any> var;
};

int main()
{
    MyClass s;
    return 0;
}

Он не компилируется. Я что-то не так делаю или это какой-то баг?

Я использую gcc 7.1.0

In file included from /home/zak/Projects/Anytest/main.cpp:3:0:
/usr/local/gcc-7.1/include/c++/7.1.0/variant: In instantiation of ‘struct std::__detail::__variant::__accepted_index<const std::variant<std::any>&, std::variant<std::any>, void>’:
/usr/local/gcc-7.1/include/c++/7.1.0/variant:911:26:   required from ‘constexpr const size_t std::variant<std::any>::__accepted_index<const std::variant<std::any>&>’
/usr/local/gcc-7.1/include/c++/7.1.0/variant:940:6:   required by substitution of ‘template<class _Tp, class> constexpr std::variant<std::any>::variant(_Tp&&) [with _Tp = const std::variant<std::any>&; <template-parameter-1-2> = <missing>]’
/home/zak/Projects/Anytest/main.cpp:14:13:   required from here
/usr/local/gcc-7.1/include/c++/7.1.0/variant:559:49: error: no matching function for call to ‘std::__detail::__variant::__overload_set<std::any>::_S_fun(const std::variant<std::any>&)’
       decltype(__overload_set<_Types...>::_S_fun(std::declval<_Tp>()),
                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note: candidate: static std::integral_constant<long unsigned int, sizeof... (_Rest)> std::__detail::__variant::__overload_set<_First, _Rest ...>::_S_fun(_First) [with _First = std::any; _Rest = {}]
       static integral_constant<size_t, sizeof...(_Rest)> _S_fun(_First);
                                                          ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note:   no known conversion for argument 1 from ‘const std::variant<std::any>’ to ‘std::any’
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note: candidate: static void std::__detail::__variant::__overload_set<_Types>::_S_fun() [with _Types = {}]
     { static void _S_fun(); };
                   ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note:   candidate expects 0 arguments, 1 provided
/usr/local/gcc-7.1/include/c++/7.1.0/variant:559:49: error: no matching function for call to ‘std::__detail::__variant::__overload_set<std::any>::_S_fun(const std::variant<std::any>&)’
       decltype(__overload_set<_Types...>::_S_fun(std::declval<_Tp>()),
                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note: candidate: static std::integral_constant<long unsigned int, sizeof... (_Rest)> std::__detail::__variant::__overload_set<_First, _Rest ...>::_S_fun(_First) [with _First = std::any; _Rest = {}]
       static integral_constant<size_t, sizeof...(_Rest)> _S_fun(_First);
                                                          ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note:   no known conversion for argument 1 from ‘const std::variant<std::any>’ to ‘std::any’
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note: candidate: static void std::__detail::__variant::__overload_set<_Types>::_S_fun() [with _Types = {}]
     { static void _S_fun(); };
                   ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note:   candidate expects 0 arguments, 1 provided
/usr/local/gcc-7.1/include/c++/7.1.0/variant:559:49: error: no matching function for call to ‘std::__detail::__variant::__overload_set<std::any>::_S_fun(const std::variant<std::any>&)’
       decltype(__overload_set<_Types...>::_S_fun(std::declval<_Tp>()),
                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note: candidate: static std::integral_constant<long unsigned int, sizeof... (_Rest)> std::__detail::__variant::__overload_set<_First, _Rest ...>::_S_fun(_First) [with _First = std::any; _Rest = {}]
       static integral_constant<size_t, sizeof...(_Rest)> _S_fun(_First);
                                                          ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note:   no known conversion for argument 1 from ‘const std::variant<std::any>’ to ‘std::any’
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note: candidate: static void std::__detail::__variant::__overload_set<_Types>::_S_fun() [with _Types = {}]
     { static void _S_fun(); };
                   ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note:   candidate expects 0 arguments, 1 provided
/usr/local/gcc-7.1/include/c++/7.1.0/variant: In instantiation of ‘constexpr const size_t std::__detail::__variant::__accepted_index<const std::variant<std::any>&, std::variant<std::any>, void>::value’:
/usr/local/gcc-7.1/include/c++/7.1.0/variant:911:26:   required from ‘constexpr const size_t std::variant<std::any>::__accepted_index<const std::variant<std::any>&>’
/usr/local/gcc-7.1/include/c++/7.1.0/variant:940:6:   required by substitution of ‘template<class _Tp, class> constexpr std::variant<std::any>::variant(_Tp&&) [with _Tp = const std::variant<std::any>&; <template-parameter-1-2> = <missing>]’
/home/zak/Projects/Anytest/main.cpp:14:13:   required from here
/usr/local/gcc-7.1/include/c++/7.1.0/variant:564:12: error: no matching function for call to ‘std::__detail::__variant::__overload_set<std::any>::_S_fun(const std::variant<std::any>&)’
  - decltype(__overload_set<_Types...>::
             ~~~~~~~~~~~~~~~~~~~~~~~~~~~
      _S_fun(std::declval<_Tp>()))::value;
      ~~~~~~^~~~~~~~~~~~~~~~~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note: candidate: static std::integral_constant<long unsigned int, sizeof... (_Rest)> std::__detail::__variant::__overload_set<_First, _Rest ...>::_S_fun(_First) [with _First = std::any; _Rest = {}]
       static integral_constant<size_t, sizeof...(_Rest)> _S_fun(_First);
                                                          ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:541:58: note:   no known conversion for argument 1 from ‘const std::variant<std::any>’ to ‘std::any’
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note: candidate: static void std::__detail::__variant::__overload_set<_Types>::_S_fun() [with _Types = {}]
     { static void _S_fun(); };
                   ^~~~~~
/usr/local/gcc-7.1/include/c++/7.1.0/variant:535:19: note:   candidate expects 0 arguments, 1 provided

gcc c++ variant c++17
person Zak    schedule 13.05.2017    source источник
comment
Интересно, что замена инициализации по умолчанию на инициализацию по значению позволяет компилировать код на GCC. coliru.stacked-crooked.com/a/d45087050b803e45   -  person StoryTeller - Unslander Monica    schedule 13.05.2017
comment
Удаление конструктора копирования также приводит к компиляции кода: /а>   -  person Narek Atayan    schedule 13.05.2017
comment
Компиляция второго примера с Visual Studio 2017 и флагом /std:c++latest работает отлично. Либо GCC накосячил, либо MSVC повезло. Буду тестить дальше...   -  person    schedule 13.05.2017
comment
clang также компилирует его, но по-прежнему использует реализацию Microsoft C++. Должно быть что-то не так в реализации GCC   -  person    schedule 13.05.2017
comment
Я опубликовал сообщение об ошибке.   -  person Zak    schedule 13.05.2017

Ответы (1)


arrow_upward
11
arrow_downward

Проблема заключается в неявно определенном конструкторе копирования MyClass, когда он пытается скопировать конструкцию члена типа std::variant<std::any>.

Чтобы выполнить разрешение перегрузки, компилятору сначала нужно попытаться создать экземпляры всех шаблонов конструктора std::variant с аргументом функции, равным const std::variant<std::any>&1. Интересующий нас конструктор:

template <class T> constexpr variant(T&& t) noexcept(/*...*/);

Он участвует в разрешении перегрузки только в том случае, если, среди прочего, правильно сформировано выражение FUN(​std​::​forward<T>(t)), где FUN — набор перегруженных функций, созданных в соответствии с [variant.ctor]/12.2

В этом случае существует только один альтернативный тип (std::any), поэтому существует только одна воображаемая функция FUN, сигнатура которой FUN(std::any). Теперь компилятору нужно решить, можно ли вызывать FUN с const std::variant<std::any>&1. В этом процессе компилятору необходимо знать, можно ли построить std::any с помощью const std::variant<std::any>&1.

Это вызовет создание экземпляра шаблона конструктора std::any template<class T> any(T&& value);, который участвует в разрешении перегрузки только в том случае, если std::is_­copy_­constructible_­v<VT> равно true (VT равно std::decay_t<T>, а T равно const std::variant<std::any>&).

Теперь, чтобы увидеть, является ли VT (то есть std::variant<std::any>) копируемым, компилятору нужно попытаться создать экземпляры всех шаблонов конструктора std::variant... и это то, с чего мы начали, и мы застряли в цикле.

Это может объяснить, почему мы видим template<class _Tp, class> constexpr std::variant<std::any>::variant(_Tp&&) и __overload_set<std::any>::_S_fun (что соответствует упомянутой выше функции FUN) в сообщении об ошибке и почему мы видим, что одна и та же ошибка появляется несколько раз.

Остается вопрос, как GCC выходит из описанного выше цикла и почему настройка программы может помешать GCC сообщить об ошибке. Возможно, это признаки какой-то ошибки.

1. Строго говоря, это должно быть "lvalue типа const std::variant<std::any>", а не "a const std::variant<std::any>&".

2. Стандарт также требует, чтобы этот конструктор участвовал в разрешении перегрузки только в том случае, если is_­same_­v<decay_­t<T>, variant> равно false. GCC (libstdc++) решает проверить это позже. Я не знаю, соответствует ли это требованиям.

person cpplearner    schedule 14.05.2017