Можно ли «скомпилировать» потоковые выражения в C++?

Question

Хорошо известно, что вы можете использовать макросы для создания версии printf, которая может быть удалена из кода во время компиляции (скажем, если вы хотите печатать только на отладочных сборках). Полученный код можно использовать точно так же, как и использовать printf.

Возможно ли создать аналогичный сценарий по отношению к потоку?

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

#include <iostream> 

class Foo 
{ 
public: 
    template <typename T> 
    Foo& operator <<(const T& input) 
    { 
     std::cout << input; 
    } 
}; 

int ComputeExpensiveThing(); // this function is expensive 

void doSomething() 
{ 
    Foo() << "Expensive thing: " << ComputeExpensiveThing() << std::endl; 
    // do other things 
} 

Есть ли способ условно раздеть первую линию DoSomething() во время компиляции?

Я могу использовать макрос, чтобы получить подобный эффект, проверяя глобальное состояние во время выполнения:

#define FOO if(!someGlobalCondition); else Foo() 

void doSomething() 
{ 
    FOO << "Expensive thing: " << ComputeExpensiveThing() << std::endl; 
} 

Однако это требует команда условного перехода каждый раз, когда мы используем FOO. Это значительное улучшение по сравнению с вызовом ComputeExpensiveThing, но я бы предпочел удалить лишние ветки.

Я также видел альтернативу, которая изменяет целевой синтаксис, что-то вроде

void doSomething() 
{ 
    Foo("Expensive thing: " << ComputeExpensiveThing() << std::endl); 
} 

но полученный синтаксис является немного странным и неинтуитивным для некоторых пользователей.

Answer 1

Почему бы вам просто не сделать условное что-то вроде этого?

#ifdef DEBUG 
#define dbglog std::cout 
#else 
#define dbglog if(0) std::cout 
#endif 

Затем вы можете использовать его так:

dbglog << "Hello, World!" << std::endl; 

if(0) и последующее заявление будет полностью удалено компилятором (лязг даже делает эту оптимизацию с не -O флага указанного!).

Answer 2

Я не очень хороший программист на С ++, и я мог легко ошибаться.

Но не должно быть точно таким же, если вы определили const debug и просто сделаете if (debug) do_something;. Я собираю, что компиляторы любят constant folding, и он будет оценивать все if s до времени, и не было бы никаких ветвей, созданных вообще.

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

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