默认构造函数省略/赋值省略原则上可行吗

。或者甚至被C++11标准所允许？

如果是这样的话，有没有编译器真的能做到这一点？

下面是我的意思的一个例子：

template<class T> //T is a builtin type
class data 
{
public:
    constexpr
    data() noexcept :
        x_{0,0,0,0}
    {}
    constexpr
    data(const T& a, const T& b, const T& c, const T& d) noexcept :
        x_{a,b,c,d}
    {}
    data(const data&) noexcept = default;
    data& operator = (const data&) noexcept = default;
    constexpr const T&
    operator[] (std::size_t i) const noexcept {
        return x_[i];
    }
    T&
    operator[] (std::size_t i) noexcept {
        return x_[i];
    }
private:
    T x_[4];
};

template<class Ostream, class T>
Ostream& operator << (Ostream& os, const data<T>& d)
{
    return (os << d[0] <<' '<< d[1] <<' '<< d[2] <<' '<< d[3]);
}

template<class T>
inline constexpr
data<T>
get_data(const T& x, const T& y)
{
    return data<T>{x + y, x * y, x*x, y*y};
}

int main()
{
    double x, y;
    std::cin >> x >> y;
    auto d = data<double>{x, y, 2*x, 2*y};
    std::cout << d << std::endl;
    //THE QUESTION IS ABOUT THIS LINE
    d = get_data(x,y);  
    d[0] += d[2];
    d[1] += d[3];
    d[2] *= d[3];
    std::cout << d << std::endl;
    return 0;
}

关于标记线：
值x+y、x*y、x**x、y*y可以直接写入d的内存吗？或者get_data的返回类型可以直接在d的内存中构造吗
我想不出有什么理由不允许这样的优化。对于一个只有constexpr构造函数和默认的复制和赋值运算符的类，至少不是这样

g++4.7.2取消了本例中的所有复制构造函数；然而，似乎总是执行赋值（即使只是默认赋值——据我从g++发出的程序集所知）。

我提出这个问题的动机是在以下情况下，这样的优化将极大地简化和改进库的设计。假设您使用一个文字类编写性能关键库例程。该类的对象将保存足够的数据（比如20个doubles），因此副本必须保持在最低限度。

class Literal{ constexpr Literal(...): {...} {} ...};
//nice: allows RVO and is guaranteed to not have any side effects
constexpr Literal get_random_literal(RandomEngine&) {return Literal{....}; }
//not favorable in my opinion: possible non-obvious side-effects, code duplication
//would be superfluous if said optimization were performed
void set_literal_random(RandomEngine&, Literal&) {...}

如果我可以不使用第二个函数的话，这将使设计更加简洁（函数式编程风格）。但有时我只需要修改一个长期存在的Literal对象，并且必须确保我不会创建一个新对象并将其复制分配给我想要修改的对象。修改本身很便宜，复制品却不是——这就是我的实验所表明的。

编辑：
假设优化只允许用于具有noexcept constexpr构造函数和noexcept-default运算符=的类。