基于共享指针的函数重载编译错误求助

你遇到的核心问题是C++重载解析的静态绑定特性：编译器在编译时只会根据变量的静态类型（这里是std::shared_ptr<Shape>）来匹配重载函数，完全不会考虑它指向对象的动态类型（Circle/Square）。而std::shared_ptr<Shape>无法隐式转换为std::shared_ptr<Circle>或std::shared_ptr<Square>，这就是编译报错的原因。

不想用类型转换或冗余if语句的话，**访问者模式（Visitor Pattern）**是处理这种「多态分发到重载函数」场景的标准设计模式——它能在保持类型安全的同时，把操作（比如你的打印逻辑）和数据结构（Shape体系）解耦，完美符合你的需求。

下面是调整后的完整代码，完全不需要类型转换，且遵循面向对象设计原则：

#include <memory>
#include <iostream>
#include <typeinfo>

// 定义抽象访问者接口，对应每个Shape派生类的访问方法
class ShapeVisitor {
public:
    virtual void visit(std::shared_ptr<Circle> circle) = 0;
    virtual void visit(std::shared_ptr<Square> square) = 0;
    virtual ~ShapeVisitor() = default;
};

// Shape基类继承enable_shared_from_this，方便派生类获取自身的shared_ptr
class Shape : public std::enable_shared_from_this<Shape> {
public:
    virtual ~Shape() = default;
    // 纯虚accept方法，用于接收访问者
    virtual void accept(ShapeVisitor& visitor) = 0;
};

class Circle : public Shape {
public:
    void accept(ShapeVisitor& visitor) override {
        // 安全转换为Circle的shared_ptr，传递给访问者
        visitor.visit(std::static_pointer_cast<Circle>(shared_from_this()));
    }
};

class Square : public Shape {
public:
    void accept(ShapeVisitor& visitor) override {
        visitor.visit(std::static_pointer_cast<Square>(shared_from_this()));
    }
};

// 让Logging类实现访问者接口，重载对应类型的visit方法
class Logging : public ShapeVisitor {
public:
    void visit(std::shared_ptr<Circle> shape) override {
        std::cout << "This object is a " << typeid(*shape).name() << std::endl;
    }
    void visit(std::shared_ptr<Square> shape) override {
        std::cout << "This object is a " << typeid(*shape).name() << std::endl;
    }
};

int main() {
    std::shared_ptr<Shape> circle = std::make_shared<Circle>();
    std::shared_ptr<Shape> square = std::make_shared<Square>();

    Logging logger;
    // 通过accept触发动态分发，调用正确的重载方法
    circle->accept(logger);
    square->accept(logger);

    return 0;
}

1. 动态绑定的accept方法：accept是虚函数，会根据对象的实际动态类型调用对应派生类的实现；
2. 安全的智能指针转换：派生类中用shared_from_this()获取自身的shared_ptr，再通过static_pointer_cast转换为对应类型——这里的转换是绝对安全的，因为我们明确知道当前对象的类型；
3. 准确的重载匹配：当调用visitor.visit(...)时，参数类型是明确的shared_ptr<Circle>或shared_ptr<Square>，编译器能直接匹配到对应的重载函数。

如果你的打印逻辑不需要和Shape体系解耦，也可以直接在Shape基类中定义虚的print方法，派生类重写实现：

#include <memory>
#include <iostream>
#include <typeinfo>

class Shape {
public:
    virtual ~Shape() = default;
    virtual void print() const = 0;
};

class Circle : public Shape {
public:
    void print() const override {
        std::cout << "This object is a " << typeid(*this).name() << std::endl;
    }
};

class Square : public Shape {
public:
    void print() const override {
        std::cout << "This object is a " << typeid(*this).name() << std::endl;
    }
};

int main() {
    std::shared_ptr<Shape> circle = std::make_shared<Circle>();
    std::shared_ptr<Shape> square = std::make_shared<Square>();

    circle->print();
    square->print();

    return 0;
}

这种方式代码更简洁，但缺点是打印逻辑和Shape类耦合了——如果以后要添加新操作（比如计算面积、导出到文件），就得修改Shape基类，违反开闭原则。而访问者模式可以在不修改Shape类的前提下，灵活添加新的操作逻辑。

内容的提问来源于stack exchange，提问作者D.J. Klomp