类中的 C++17 变体<any>

Question

以下代码编译良好：

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

Answer 1

问题在于MyClass 隐式定义的复制构造函数，当它尝试复制构造类型为std::variant<std::any> 的成员时。

要执行重载解析，编译器首先需要尝试实例化所有std::variant 的构造函数模板，函数参数为const std::variant<std::any>&¹。我们感兴趣的构造函数是这个：

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

仅当表达式FUN(​std​::​forward<T>(t)) 格式正确时才参与重载决议，其中FUN 是根据[variant.ctor]/12 生成的一组重载函数。²

在这种情况下，只有一种替代类型（std::any），因此只有一个虚构函数FUN，其签名为FUN(std::any)。现在，编译器需要决定是否可以使用const std::variant<std::any>&¹ 调用FUN。在这个过程中，编译器需要知道std::any是否可以用const std::variant<std::any>&构造出来¹。

这将触发std::any的构造函数模板template<class T> any(T&& value);的实例化，它仅在std::is_­copy_­constructible_­v<VT>是true时才参与重载解析（VT是std::decay_t<T>，而T是@987654343 @)。

现在为了查看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.严格来说，它应该是“const std::variant&lt;std::any&gt; 类型的左值”而不是“a const std::variant&lt;std::any&gt;&amp;”。}

^{2。该标准还要求此构造函数仅在is_­same_­v&lt;decay_­t&lt;T&gt;, variant&gt; 为false 时才参与重载决议。 GCC (libstdc++) 选择稍后检查。我不知道这是否符合规定。}