Выполняет ли вычисление в аргументе std :: min() вычислительные накладные расходы?

Question

Скажем, у меня есть кусок кода, как это:

int y = 1; 
int z = 1; 
int x = std::min(y+1,z); 

Глядя на документацию std::min(here), мне было интересно, создает ли добавление в первом аргументе функции накладные расходы вычисления, то есть ли y+1 является возможно, выполняется дважды.

Причина моего вопроса в том, что документация показывает это в качестве возможной реализации std::min:

template<class T> 
const T& min(const T& a, const T& b) 
{ 
    return (b < a) ? b : a; 
} 

Так кто-нибудь знает, является ли y+1 выполняется в два раза?

Answer 1

template<class T> 
const T& min(const T& a, const T& b) 
{ 
    return (b < a) ? b : a; 
} 

Легко видеть, что в этом варианте осуществления возможно каждый аргумент мин функции вычисляется только один раз.

В вашем конкретном случае временного у + 1 связан с опорным сопзЬ и г связан с опорным сопзЬ б. Затем для выполнения расчета используются a и b.

С другой стороны макросы более опасны в этом смысле.

Типичная реализация MIN макро:

#define MIN(a, b) ((a) < (b)) ? (a) : (b) 

для

MIN(y + 1, z) 

предобработан в:

((y + 1) < (z)) ? (y + 1) : (z) 

что приводит к двойному вычисления у + 1, если y + 1 < z.