GCC下std::visit编译失败问题排查求助

这个编译错误的核心原因是GCC 7的标准库实现对继承自std::variant的派生类支持不足，而Clang的标准库在这方面做了更完善的兼容处理。

当你调用std::visit传入Token对象时，GCC 7的std::variant_size模板无法自动识别Token是std::variant的派生类，会错误地认为std::variant_size<Token>是不完整类型，进而引发后续的_S_apply未声明等连锁错误。而Clang的标准库实现额外处理了这种派生类场景，能够正确解析出底层的variant类型。

下面提供三种可行的解决方式，你可以根据自己的需求选择：

方案1：改用组合模式替代继承 #

这是最稳妥、符合标准的做法，避免依赖编译器对派生variant的支持差异。让Token类内部持有一个TokenBase成员，而非继承它，然后将Is()、As()等方法转发到内部成员上：

#include <iostream>
#include <string>
#include <regex>
#include <variant>

struct Id {
    void SetValue(const std::string& item) { value = item; }
    std::string value;
};

struct Number {
    void SetValue(const std::string& item) { value = std::stoi(item); }
    int value;
};

using TokenBase = std::variant<Number, Id>;

struct Token {
    TokenBase base;
    // 转发构造函数
    template<typename... Args>
    Token(Args&&... args) : base(std::forward<Args>(args)...) {}

    template <typename T> [[nodiscard]] bool Is() const {
        return std::holds_alternative<T>(base);
    }
    template <typename T> [[nodiscard]] const T& As() const {
        return std::get<T>(base);
    }
    template <typename T> [[nodiscard]] const T* TryAs() const {
        return std::get_if<T>(&base);
    }
};

struct LexerTokenExtractor {
    const std::string& item_;
    void operator()(Number& item) const { item.SetValue(item_); }
    void operator()(Id& item) const { item.SetValue(item_); }
};

int main() {
    const std::string string_token("x");
    Token id_token = Id();
    std::visit(LexerTokenExtractor{string_token}, id_token.base);
    std::cout << "ok" << std::endl;
}

方案2：手动特化variant相关模板（仅适用于GCC 7） #

如果你坚持要使用继承模式，可以手动为Token特化std::variant_size和std::variant_alternative，告诉标准库它的底层variant类型：

#include <iostream>
#include <string>
#include <regex>
#include <variant>

struct Id {
    void SetValue(const std::string& item) { value = item; }
    std::string value;
};

struct Number {
    void SetValue(const std::string& item) { value = std::stoi(item); }
    int value;
};

using TokenBase = std::variant<Number, Id>;

struct Token : TokenBase {
    using TokenBase::TokenBase;
    template <typename T> [[nodiscard]] bool Is() const {
        return std::holds_alternative<T>(*this);
    }
    template <typename T> [[nodiscard]] const T& As() const {
        return std::get<T>(*this);
    }
    template <typename T> [[nodiscard]] const T* TryAs() const {
        return std::get_if<T>(this);
    }
};

// 手动特化variant_size
namespace std {
    template<>
    struct variant_size<Token> : variant_size<TokenBase> {};

    template<size_t I>
    struct variant_alternative<I, Token> : variant_alternative<I, TokenBase> {};
}

struct LexerTokenExtractor {
    const std::string& item_;
    void operator()(Number& item) const { item.SetValue(item_); }
    void operator()(Id& item) const { item.SetValue(item_); }
};

int main() {
    const std::string string_token("x");
    Token id_token = Id();
    std::visit(LexerTokenExtractor{string_token}, id_token);
    std::cout << "ok" << std::endl;
}

注意：这种特化并非标准要求的行为，可能在其他编译器或更高版本GCC中不需要，甚至可能引发问题，所以仅作为临时适配方案。

方案3：升级GCC版本 #

GCC 8及以上的版本已经修复了这个问题，对std::variant派生类的支持更加完善。如果你的项目环境允许，直接升级到GCC 8+就能解决编译错误，不需要修改代码。

内容的提问来源于stack exchange，提问作者Dmitry