C++三目运算符返回值类型问题

Question

我想知道三目运算符的返回值类型是怎么规定的。
比如：
int main(){
int a = 8;
int b = 5;
(a > b ? a : b) = 1;
return 0;
}
可以编译通过（无论在Visual Studio还是GNU内核的Dev-Cpp），说明返回值有左值，类型相同的情况我已经知道了，不需要您赘述。
当冒号两边的类型可以互相转换的时候返回哪个的类型？返回值有没有左值？

Answer 1

三目运算符是这样的：A?B:C,若A表达式为真，则三目运算符结果为B表达式的结果， 若A为假，则为C的结果,8>5为真，则返回变量a

Answer 2

向高类型转换，就像+-*/一样....
例如
int a = 8;
long b = 5;
(a > b ? a : b) = 1;
等价于a = 1;
这个行为实际上是未定义的，因为c++标准里没有（哪怕是c++11）

追问

有问题啊！如果两边都是自定义类型，或者有一个是自定义类型怎么办？

追答

编译失败

提示lvalue required as left operand of assignment

即非左值

VC++2012里也提示错误

刚才测试了一下，当类型不同时，gcc3.2可以通过编译，但其他版本无一通过....

我的意思是

int a = 8;

long b = 5;

(a > b ?  a : b) = 1;

仅仅在gcc3.2下编译通过...............

类型必须相同

追问

需要转换时没有左值我完全赞同。
我想对于自定义类型，什么叫“向高类型转换”？
class B;

class A{

public:
int x;
operator B();
};
class B{
public:
double x;
operator A(){A a; a.x=0; return a;}
};
A::operator B(){B b; b.x=0; return b;}
超字数，后面main，你应知我要写什么

追答

例如有继承关系，就向父类型转换，但是这得经过试验，测试中.

事实证明gcc3.2真是一个坑爹的编译器....该对的不对，该错的却对

gcc4.7编译通过，向继承关系的上层转换

(部分省略)

struct A
{
   int a;
   A(int _a)
   {
       a = _a;
   }
};
struct B : public A
{
   long b;
   B(int _a, long _b):A(_a)
   {
       b = _b;
   }
};
int main()
{
   A a(3);
   B b(4, 5);
   (a.a < b.b ? b : a) = A(8);
   return 0;
}

 其实我更倾向于在这个运算中没有转换，因为无论是父类型对象还是子类型的对象，都可以用B(XX, XX)来赋值....

 

没有继承关系的貌似不可以作为左值...

刚才才发现你有重载....不过加了重载也还是通不过编译，因为实际上仍然用了类型转换。只是从默认的变为自定义的而已...

Answer 3

标准规定如果冒号两边的类型可以【互相】转换，程序就是ill-formed