在继承自std:：variant-libstdc vs libc的类上使用std:：visit

Question

考虑以下代码片段：

struct v : std::variant<int, std::vector<v>> { };

int main()
{
    std::visit([](auto){ }, v{0});
}

>

带有-std=C2A的G9未能编译代码，错误如下：

/opt/compiler explorer/gcc-trunk-20180711/include/c/9.0.0/variant:94:29:错误：嵌套名称说明符中使用的类型“std:：variant_size”不完整

 inline constexpr size_t variant_size_v = variant_size<_Variant>::value;

                         ^~~~~~~~~~~~~~

godbolt上的活生生的例子。组织

>

如果不是，这里什么实现是正确的，为什么？

Answer 1

我最近也遇到了这个问题。我想出了一个解决方法，基本上专门为继承自变体的类variant_size和variant_alternative...

拉杆

它不漂亮，它会向std命名空间注入一些东西。我还不是元编程专家（还！）所以这是我一起破解的东西。也许其他人可以改进这一点？

#include <variant>
#include <string>
#include <vector>
#include <iostream>

#include <utility>
#include <type_traits>



using var = std::variant<int, bool, float, std::string>;

struct myvar : public var {
    using var::var;
    using var::operator=;

};

namespace std{

    template<>
    struct variant_size<myvar> : variant_size<var> {
    };

    template<std::size_t I>
    struct variant_alternative<I,myvar> :  variant_alternative<I,var> {
    };
}

int main(){

    constexpr int vs = std::variant_size<var>::value;

    myvar s = std::string{"boo!"}; 
    std::visit([](auto&& e){std::cout << e << "\n";}, s);
    std::cout << vs;
}

Answer 2

看起来这是gcc实现中的一个错误。根据cp首选项，它的调用就好像在std::get上调调用一样。std::get

gcc实现选择使用std::variant_size作为其访问实现的一部分这一事实是它们的实现细节，它不（也不应该）为你的结构工作这一事实是无关紧要的。

结论：这是gcc中的一个缺陷，因为在实施过程中存在疏忽。

Answer 3

C 17中的[variant.visit]没有使用variant_size_v，但由于编辑上的更改，它在当前的工作草案中使用。我看不到任何迹象表明LWG在引入之前审查了变更，但自那以后，它已经多次查看了标准的这一部分，并且还没有提出反对意见，所以我将假设它实际上是必需的。

同时，LWG第3052版（已被提交给LEWG）将明确要求std:：variant。当这个问题得到解决时——不管怎样——它也应该解决这个问题。