Что делать с временными объектами и ссылками?

Во-первых, как уже говорили другие, double& d = 3 + 4; не является допустимым C++; если ваш компилятор принимает его и утверждает, что компилирует C++, это ошибка в компиляторе. (Обратите внимание, что большинство компиляторов C++ не претендуют на компиляцию C++, если вы не предоставите им специальные параметры, например -std=c++98 в случае g++.)

Во-вторых, мотивация для этого правила исходит из опыта. Рассмотрим следующий пример:

void
incr( int& i )
{
    ++ i;
}

unsigned x = 2;
incr( x );  //  Implicit conversion of unsigned to int
            //  creates a temporary.
std::cout << x << std::endl;
            //  and x is still equal 2 here.

Первоначальная реализация ссылок не имела этого ограничения; вы можете инициализировать любую ссылку временной. Фактический опыт показал, что это слишком подвержено ошибкам, поэтому было введено ограничение, требующее ссылки на const. (Примерно в 1988 или 1989 году, так что сегодня компилятору нет оправдания не применять его.)

Также обратите внимание, что часто можно услышать, что привязка временной ссылки к константе продлевает время жизни временной ссылки. Это вводит в заблуждение: использование временной ссылки для инициализации ссылки продлевает время жизни временной ссылки (за некоторыми исключениями), но время жизни не увеличивается, если эта ссылка используется для инициализации других ссылок, даже если временная ссылка также привязана к этим ссылкам.

Если вы беспокоитесь о значении и назначении const & и & в списках параметров функций, я боюсь, что вы ошибаетесь, так как это имеет мало общего с временными объектами.

void method( Object x );

Это копирует-конструирует Object из фактического аргумента. Любые изменения, сделанные для x внутри функции, теряются, когда функция завершается, аргумент функции не изменяется.

Но вы не хотите оплачивать стоимость копирования-конструкции.

void method( Object & x );

Это не копирует-конструирует Object из фактического аргумента, но x ссылается на аргумент, т. е. любые изменения, сделанные для x внутри функции, действительно применяются к самому аргументу. .

Но вы же не хотите, чтобы вызывающие метод задавались вопросом, что может случиться с их аргументами.

void method( const Object & x );

Это не копирует-конструирует Object из фактического аргумента, и x нельзя изменить внутри функции.

Вы не платите за конструктор-копию и даете понять вызывающему абоненту, что его аргумент не будет подделан.

Вы не можете передать временный объект в качестве аргумента второму варианту (см. ответ unapersson), потому что не будет никакого изменяемого объекта, на который можно было бы ссылаться, но поскольку эта функция громко объявляет, что она будет изменять аргумент (поскольку он объявлен неконстантным ссылка), передача временного аргумента в любом случае бессмысленна.

double& d = 3 + 4; не совсем допустим, фактически он не будет принят стандартным компилятором. Результатом 3+4 является временный тип int, поэтому он может быть привязан только к константной ссылке.

Связывание ссылок действительно является обязательным. Никакого копирования не происходит. Это просто продление жизни временного объекта.

void f( int & n ) {
}

int main() {
    f( 1 + 2 );
}

Создание копии не задействовано, но временное не будет привязано. Ошибка с g++:

недопустимая инициализация неконстантной ссылки типа "int&" из rvalue типа "int"

Ссылка может быть инициализирована lvalue того же типа, а 3 + 4 не является lvalue. Так что это не законно. Компилятор MS VC++ позволяет делать что-то похожее на ваши объекты, но это не стандартно.