MSVC:带有模板化转换运算符和多重继承的Bug

Question

下面的代码不是用MSVC编译的。它与gcc，clang和icc一起编译很好。我猜是个虫子，对吧？

你有/知道一些解决办法吗？

#include <type_traits>

struct A
{
    template <
        typename C
        ,typename = std::enable_if_t<std::is_same_v<C, int>>
    >
    operator C() const{
        return 12;
    }
};

struct B
{
    template <
        typename C
        , typename = std::enable_if_t<std::is_same_v<C, char>>
        , typename F = int
    >
    operator C() const
    {
        return 'A';
    }
};

struct AB : A, B
{
};

int main(){
    AB ab;
    int i = ab;
    char c = ab;
}

错误文本为:

example.cpp

<source>(34): error C2440: 'initializing': cannot convert from 'AB' to 'char'

<source>(34): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called

Compiler returned: 2

我已经向微软发布了一个错误报告。

在godbolt上看到

Answer 1

这似乎真的是MSVC中的一个bug。最后一个基在算子模板推导过程中似乎没有被考虑。为了前任。

struct AB : A, B // -> only A's templated operator considered
struct AB  : B, A // -> only B's templated operator considered

在您的示例中，您可以删除模板运算符并直接使用类型（Live）（在这种情况下使用模板没有太大意义）:

#include <type_traits>

struct A
{
    operator int() const{ return 12;}
};

struct B
{
    operator char() const { return 'A'; }
};

struct AB : A, B
{
};

int main(){
    AB ab;
    int i = ab;
    char c = ab;
}

或者您可以移到类模板，例如（Live）:

#include <type_traits>

template <typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
struct A
{
   
    operator T() const{
        return 12;
    }
};

template <typename T, typename = std::enable_if_t<std::is_same_v<T,char>>>
struct B
{
    operator T() const
    {
        return 'A';
    }
};

struct AB : A<int>, B<char>
{
};

int main(){
    AB ab;
    int i = ab;
    char c = ab;
}

或者可以在单个类中重载模板化操作数（Live）:

struct A
{
    template <
        typename C
        , typename = std::enable_if_t<std::is_same_v<C, int>>
    >
        operator C() const {
        return 12;
    }

    template <
        typename C
        , typename = std::enable_if_t<std::is_same_v<C, char>>
        , typename F = int
    >
        operator C() const
    {
        return 'A';
    }
};


struct AB : A
{
};

int main() {
    AB ab;
    int i = ab;
    char c = ab;
}