c – 为什么三元运算符防止返回值优化？

#include <iostream>

struct Example
{
    Example(int) {}
    Example(Example const &) { std::cout << "copy\n"; }
};

Example FunctionUsingIf(int i)
{
    if (i == 1)
        return Example(1);
    else
        return Example(2);
}

Example FunctionUsingTernaryOperator(int i)
{
    return (i == 1) ? Example(1) : Example(2);
}

int main()
{
    std::cout << "using if:\n";
    Example obj1 = FunctionUsingIf(0);
    std::cout << "using ternary operator:\n";
    Example obj2 = FunctionUsingTernaryOperator(0);
}

用VC 2013编译：cl / nologo / EHsc / Za / W4 / O2 stackoverflow.cpp

输出：

using if:
using ternary operator:
copy

显然,三元操作符以某种方式阻止RVO.为什么？为什么编译器不够聪明才能看到使用三进制运算符的函数与使用if语句的函数相同,并相应地进行优化？