C++ const指针与const引用代码疑问及编译错误解析请求

先贴出问题代码：

#include <variant>

struct Buffer
{
            struct StructA
            {
                int X = 10;
            };
            struct StructB
            {
                int X = 20;
            };

            std::variant<StructA, StructB> Data = StructA{};

            template <typename T>
            bool GetCommand(T& out)
            {
                T* command = std::get_if<T>(&Data);
                if (command != nullptr)
                {
                    out = *command;
                    return true;
                }
                return false;
            }

            template <typename T>
            bool GetCommand(const T& out) const
            {
                const T* command = std::get_if<T>(&Data);
                if (command != nullptr)
                {
                    out = *command;     // 此处逻辑不解
                    return true;
                }
                return false;
            }
};

void dummy(const Buffer& buffer)
{
    Buffer::StructB tmpStruct;

    auto tmpBuffer = buffer;
    tmpBuffer.GetCommand<Buffer::StructB>(tmpStruct);

    buffer.GetCommand<Buffer::StructB>(tmpStruct); // 无法编译
}

int main()
{
    Buffer buffer;
    dummy(buffer);

    return 0;
}

疑问1：const版本GetCommand中out = *command的逻辑问题 #

这行代码是明显的语法逻辑错误：该函数的参数是const T& out，也就是out是一个常量引用。C++规则明确禁止给常量引用赋值——常量引用的核心特性就是“通过该引用无法修改绑定的对象”。

写这段代码的开发者大概率是想实现“在const成员函数中，把内部variant存储的对应类型值输出给外部变量”，但参数声明写错了。正确的const版本写法应该是把参数改为T& out，同时保持成员函数为const：

template <typename T>
bool GetCommand(T& out) const
{
    const T* command = std::get_if<T>(&Data);
    if (command != nullptr)
    {
        out = *command;
        return true;
    }
    return false;
}

这样既符合const成员函数“不修改类内部状态”的特性，又能把内部的常量值赋值给外部的非const变量（赋值操作修改的是外部变量，而非类成员）。

疑问2：dummy函数中标记行无法编译的问题 #

这行代码编译失败的根源就是const版本GetCommand的参数设计错误：

1. 因为buffer是const Buffer&类型，编译器会优先匹配const版本的GetCommand；
2. const版本的GetCommand参数是const T& out，虽然传入的tmpStruct（非const对象）可以绑定到const引用，但函数内部的out = *command试图给const引用赋值，这是C++严格禁止的操作，因此编译器直接报错。

只要按照疑问1中的方式修正const版本GetCommand的参数，这行代码就能正常编译运行。

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