0

if constexprコンテキストで引数 pack を使用した概念を使用するコードがあります。以前は gcc 8 でコンパイルして動作していましたが、gcc 9 で壊れます。

#include <utility>
#include <tuple>

template <typename T, typename ...Ts>
concept
#if __GNUC__ < 9
bool
#endif
is_handled = requires(T handler, Ts && ...args) {
    handler.handle(std::forward<Ts>(args)...);
};

template <typename T>
concept
#if __GNUC__ < 9
bool
#endif
has_name = requires(T) {
    T::name;
};

template <typename ...Handlers>
struct Dispatcher {

    template <typename ...Ts>
    void operator()(Ts && ...args) {
        std::apply(
            [&](auto && ...handlers) {
                (handle(handlers, std::forward<Ts>(args)...),...); 
            },
            m_handlers
        );
    }

private:
    template <typename Handler, typename ...Ts>
    void handle(Handler & handler, Ts && ...args) {
        if constexpr (is_handled<Handler, Ts...>) {
            handler.handle(std::forward<Ts>(args)...);
        }
    }

    template <typename Handler>
    char const* get_code() {
        if constexpr (has_name<Handler>) {
            return Handler::name;
        }
        return nullptr;
    }

    std::tuple<Handlers...> m_handlers;
};

GCC 9.2 によって生成されるエラーは次のとおりです。

<source>: In member function 'void Dispatcher<Handlers>::handle(Handler&, Ts&& ...)':
<source>:38:49: error: expected unqualified-id before ')' token
   38 |         if constexpr (is_handled<Handler, Ts...>) {
      |                                                 ^

コンパイラ エクスプローラはこちらを参照してください。gcc バージョン 8.3 と 9.2 を切り替えて違いを確認できます。

4

1 に答える 1