代码之家 › 专栏 › 技术社区 › Naveen

隐式类型转换-编译器错误

type-conversion compiler-errors c++

Naveen · 技术社区 · 15 年前

这个问题与 this 问题。下面的代码编译了很好的VC9编译器,但是在与Comeau联机编译时给出了错误。谁能告诉我哪一个是正确的,错误的意思是什么?

错误:不明确“?”操作:秒转换为第三个操作数类型 “bool”,反之亦然 = (1==1) ? f():假;

class TypesafeBool
{
private:
    bool m_bValue;
    struct Bool_ { 
        int m_nValue; 
    };
    typedef int Bool_::* bool_;
    inline bool_ True() const { return &Bool_::m_nValue; }
    inline bool_ False() const { return 0; }

public:
    TypesafeBool( const bool bValue ) : m_bValue( bValue ){}
    operator bool_() const { return m_bValue ? True() : False(); }
};

TypesafeBool f()
{
    return TypesafeBool(true);
}

int main()
{
    TypesafeBool b = (1==1) ? f() : false;
}

3 回复 | 直到 9 年前

Andrew Aylett 15 年前

错误是三元运算符必须只有一个类型,而您的表达式 (1=1) ? f() : false f() 有类型 TypesafeBool 和 false 有类型 bool . 你可以在它们之间转换,但是科莫不知道你想用哪一个。若要解决此问题,请将三元组的一面转换为另一面的类型: (1=1) ? f() : TypesafeBool(false)

Comeau在这里是正确的,因为对于观察者来说,结果应该采用什么类型是显而易见的,但是三元表达式本身需要有一个单一的类型,而不需要参考它在什么中使用,并且它应该选择的类型是不明确的。

AProgrammer 15 年前

TypesafeBool b = (1 == 1)? f() : TypesafeBool(false);

应该有用。

Troubadour 15 年前

根据@hype的评论, this article 也提出了相同的想法,但与构造函数标记 explicit . 这消除了你的歧义。

请注意,如果您更改 b 到

TypesafeBool b( (1==1) ? f() : false );

= 不允许调用语法 TypesafeBool( bool ) 当它被标记为显式时(因为从技术上讲它是由两个构造函数组成的)。

推荐文章

Daniel · C#编译器在应该出错时失败

1 年前

antivaxxer · 为什么“新控制台”生成的项目不能用“构建”编译?(错误CS5001)

1 年前

Floris · 为什么cpp编译器在类型声明不正确时要转换为int?

1 年前

akhil · 为什么int**a=&(&val);导致C++错误?[副本]

1 年前

John D · JsonQuickGrid TemplateColumn出现编译错误

1 年前

Tom · 使用paranthesis初始化std::random_uniform_real_分布

1 年前

obtein · 内存流。写在客户端上有效,但在服务器上无效?

1 年前

kamkow1 · 匿名结构的初始值设定项错误无效

1 年前

Lyniel Kian Almoradie · 我在运行minecraft锻造时出现错误,出口值为非零1

2 年前

user1166 · 使用类型别名从“const T*”到“T*”的转换无效

2 年前