Optimierung von Konstruktor und Rückgabewert

Question

In einem vorherige Frage schien es, dass eine einfache Return-by-Value-Funktion immer ihre return Argument in die zugewiesene Variable.

Ist dies in der Norm vorgeschrieben, oder kann die Funktion optimiert werden, indem die Variable "zugewiesen an" auch innerhalb des Funktionskörpers konstruiert wird?

struct C { int i; double d; };

C f( int i, int d ) {
    return C(i,d); // construct _and_ copy-construct?
}

int main() {
    C c = f( 1, 2 ); 
}