转发 CRTP 派生类不兼容 MSCV/GCC 中定义的返回类型

问：

我遇到了 CRTP（奇怪的重复模板模式）基类中的模板函数问题，该基类在 MSVC 和 GCC 编译器上表现出不同的行为。BaseA 基类包含一个模板成员函数 foo（），该函数应该返回继承类中定义的类型。但是，foo（） 的两种不同实现在 MSVC 和 GCC 上产生不同的结果。我见过几个类似的stackoverflow线程，但它们都没有解决我的问题。

检查下面的代码或使用此 goldbold 链接。

// Minimal working example

template <typename T>
class BaseA {
    public:
        //// Version 1 (not working on MSVC and GCC)
        //// it is incomplete type usage so it obviously wont work
        //T::value_type foo() const {
        //    return static_cast<const T*>(this)->foo();
        //}

        //// Version 2 (working on MSVC, not working on GCC)
        //// this in my opinion should work everywhere
        //// since type U will be deduced after T from BaseA
        //// but unluckly it does only work on MSVC
        //// GCC error: invalid use of incomplete type 'class DerivedA'
        template <typename U = typename T::value_type>
        U foo() const {
            return static_cast<const T*>(this)->foo();
        }

        //// Version 3 (working on MSVC and GCC)
        //// will work, but "auto" as interface function return value is unaccepted solution.
        //// This is only minimal working example, real program is much bigger and it can lead to
        //// many issues in the future.
        //auto foo() const {
        //    return static_cast<const T*>(this)->foo();
        //}
};

class DerivedA : BaseA<DerivedA> {
    public:
        using value_type = int;

        value_type foo() const {
            return 5;
        }
};

template <typename T>
void some_interface_call(const BaseA<T>& a) {
    auto value = a.foo();
}

int main() {
    BaseA<DerivedA> a;
    some_interface_call(a);

    return 0;
}

传达这种类型的正确、通用方法是什么？ 有没有办法在 GCC 下使用尽可能少的更改？Version 2