模式匹配C ++纸张示例不起作用

如何解决模式匹配C ++纸张示例不起作用

我遇到过pattern matching proposal in C++，并且尝试编译有关表达式树的示例4.6。

这是提取的代码：

#include <memory>
#include <variant>

struct Expr;
struct Neg {
  std::shared_ptr<Expr> expr;
};

struct Add {
  std::shared_ptr<Expr> lhs,rhs;
};

struct Mul {
  std::shared_ptr<Expr> lhs,rhs;
};

struct Expr : std::variant<int,Neg,Add,Mul> {
  using variant::variant;
};

namespace std {
  template <>
  struct variant_size<Expr> : variant_size<Expr::variant> {};

  template <std::size_t I>
  struct variant_alternative<I,Expr> : variant_alternative<I,Expr::variant> {};
}

int eval(const Expr& expr) {
  struct visitor {

    int operator()(int i) const {return i;}
    int operator()(const Neg& n) const {return -eval(*n.expr);}
    int operator()(const Add& a) const {return eval(*a.lhs) + eval(*a.rhs);}
    int operator()(const Mul& m) const {// Optimize multiplication by 0.
     if (int* i = std::get_if<int>(m.lhs.get()); i && *i == 0) {
       return 0;
     }
     if (int* i = std::get_if<int>(m.rhs.get()); i && *i == 0) {
       return 0;
     }
     return eval(*m.lhs) * eval(*m.rhs);}
  };
  return std::visit(visitor{},expr);
}

上面的代码给出了4个编译错误，

clang++ -std=c++17 main.cpp

In file included from main.cpp:6:
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:778:6: error: implicit instantiation of undefined template 'std::__detail::__variant::_Extra_visit_slot_needed<int,const Expr &>::_Variant_never_valueless<Expr>'
        && !_Variant_never_valueless<__remove_cvref_t<_Variant>>::value;
            ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:809:44: note: in instantiation of static data member 'std::__detail::__variant::_Extra_visit_slot_needed<int,const Expr &>::value' requested here
        _Extra_visit_slot_needed<_Ret,_Variant>::value ? 1 : 0;
                                                  ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:821:53: note: in instantiation of static data member 'std::__detail::__variant::_Multi_array<int (*)(visitor &&,const Expr &),4>::__do_cookie' requested here
      _Multi_array<_Tp,__rest...> _M_arr[__first + __do_cookie];
                                                    ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:1016:36: note: in instantiation of template class 'std::__detail::__variant::_Multi_array<int (*)(visitor &&,4>' requested here
      static constexpr _Array_type _S_vtable
                                   ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:1638:55: note: in instantiation of template class 'std::__detail::__variant::__gen_vtable<true,int,visitor &&,const Expr &>' requested here
      constexpr auto& __vtable = __detail::__variant::__gen_vtable<
                                                      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:1654:14: note: in instantiation of function template specialization 'std::__do_visit<false,true,visitor,const Expr &>' requested here
      return __do_visit(std::forward<_Visitor>(__visitor),^
main.cpp:48:15: note: in instantiation of function template specialization 'std::visit<visitor,const Expr &>' requested here
  return std::visit(visitor{},expr);
              ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:769:34: note: template is declared here
      template <typename> struct _Variant_never_valueless;
                                 ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:809:2: error: constexpr variable '__do_cookie' must be initialized by a constant expression
        _Extra_visit_slot_needed<_Ret,_Variant>::value ? 1 : 0;
        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:821:53: note: in instantiation of static data member 'std::__detail::__variant::_Multi_array<int (*)(visitor &&,expr);
              ^
In file included from main.cpp:6:
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:821:36: error: fields must have a constant size: 'variable length array in structure' extension will never be supported
      _Multi_array<_Tp,__rest...> _M_arr[__first + __do_cookie];
                                   ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:1016:36: note: in instantiation of template class 'std::__detail::__variant::_Multi_array<int (*)(visitor &&,expr);
              ^
In file included from main.cpp:6:
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:1016:36: error: constexpr variable '_S_vtable' must be initialized by a constant expression
      static constexpr _Array_type _S_vtable
                                   ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:1640:45: note: in instantiation of static data member 'std::__detail::__variant::__gen_vtable<true,const Expr &>::_S_vtable' requested here
        _Result_type,_Visitor&&,_Variants&&...>::_S_vtable;
                                                   ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/variant:1654:14: note: in instantiation of function template specialization 'std::__do_visit<false,expr);
              ^
4 errors generated.

如何使以上代码进行编译？ 基本上，问题是如何对不完整的类型使用std::variant和std::shared_ptr的递归类型。

命令clang++ --version给出：

clang version 9.0.0-2 (tags/RELEASE_900/final)
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin