Оптимизация компилятора C++

Question

Могут ли современные компиляторы C++ (включая gcc) оптимизировать следующий (макроподобный) код?

template<typename F, typename ...A> 
    err foo(F fn, A&&... args) 
    { 
     return fn(std::forward<A>(args)...) ? get_last_error() : err(); 
    } 

Например, она может оптимизировать следующий код

return foo(test, 5, 20, "bar"); 

к:

return test(5, 20, "bar") ? get_last_error() : err(); 

Answer 1

, что вы описываете, называется "совершенным экспедиторская" (это термин для Google, если вы хотите узнать больше об этом), а C++ 11 поддерживает его благодаря r-значениям ссылок. Поэтому ответ «да», он будет полностью оптимизирован.