在 C++ 中推导两个类的共享基数

我几乎可以肯定，如果没有的话，我正在寻找的东西就无法完成反射，这还没有出现在语言中。但有时我会对 SO 中的特殊答案感到惊讶，所以让我们尝试一下。

是否可以推导出具有公共共享基类的两种类型的“common_base”，因此以下内容是可能的（伪代​​码！--没有 common_base_t 在语言中，这是magic我正在努力实现）：

template<typename T1, typename T2>
const common_base_t<T1, T2>& foo(const T1& a1, const T2& a2) {
    if(a1 < a2) return a1;
    return a2;
}

注意a1 and a2以上不分享common_type，仅仅因为是兄弟（共享相同的基数），因此我们不能使用三元运算符。

另请注意，将上述返回类型更改为const auto&没有解决问题（它不会编译：自动返回类型的扣除不一致).

这是一个简单的实现，要求调用者声明预期的返回类型：

template<typename R>
const R& foo(const auto& a1, const auto& a2) {
    if(a1 < a2) return a1;
    return a2;
}

然后我们可以这样调用它：

MyString1 s1 = "hello"; // MyString1 derives from std::string
MyString2 s2 = "world"; // MyString2 also derives from std::string
std::cout << foo<std::string>(s1, s2); // ok we return const lvalue ref
                                       // pointing to one of the above objects

造成这种情况的原因有很多probably如果不提供预期的回报值，就无法实现。但也许可以实现somehow?

标准库的std::common_reference<> https://cppreference.fasanowood.com/en/cpp/types/common_reference.html非常接近您想要的，并且可以说是您想要的foo()应该使用函数，因为它清楚地表达了所需的语义：

template<typename T1, typename T2>
std::common_reference_t<const T1&, const T2&> foo(const T1& a1, const T2& a2) {
    if(a1 < a2) return a1;
    return a2;
}

不幸的是，对于这个特定的用例，它不能开箱即用，因为它无法检测公共基础，除非其中一种类型派生于另一种类型。

但是，您可以通过专门化来给出提示std::common_type https://en.cppreference.com/w/cpp/types/common_type。就像这样：

namespace std {
    template<>
    struct common_type<MyString1, MyString2> {
        using type = std::string;
    };
}

它会“正常工作”。您可以在这里看到它的实际效果：https://gcc.godbolt.org/z/e3PrecPac https://gcc.godbolt.org/z/e3PrecPac.

Edit:值得一提的是，根据您的情况，您还可以创建通用的专业化std::common_type对于从给定基派生的所有类型：

struct SomeBase {};

namespace std {
    template<std::derived_from<SomeBase> T1, std::derived_from<SomeBase> T2>
    struct common_type<T1, T2> {
        using type = SomeBase;
    };
}

不过，我会对此略加讨论。这是一个潜在的非常广泛和广泛的部分专业化。它很容易导致歧义，特别是如果多次这样做的话。