保留换行符的 C++ 预处理器字符串化？

Question

我需要记录（出于审计/日志记录目的）在我的代码中传递的 lambda 函数的代码。当然，lambda 对象也需要保存。于是我想出了一个宏解决方案如下：

#define LAMBDA_AND_STRING(lambda) lambda, #lambda

using namespace std;

int main(int argc, const char * argv[])
{
    auto p = pair<function<void()>, string> ( LAMBDA_AND_STRING( [] {
        cout << "Hello world!" << endl;
        cout << "Hello again!";
    } ) );

    cout << "CODE:" << endl << p.second << endl << endl;

    cout << "EXECUTION:" << endl;
    p.first();
    cout << endl;

}

这个输出：

CODE:
[] { cout << "Hello world!" << endl; cout << "Hello again!"; }

EXECUTION:
Hello world!
Hello again!

这几乎很好，但是 lambda 定义中的换行符消失了（实际上我的 lambdas 比上述原型示例中的要长得多，因此出于可读性的原因需要保留换行符）。关于如何保留它们的任何想法？ （C++11 很好）。

谢谢！

Answer 1

如果我没记错的话，新行甚至不是传递给宏的参数的一部分。这与空白折叠相对于宏扩展发生的顺序有关，实际上空白在预处理器标记化期间被剥离。

foo.cpp:

#define FOO(a) a

FOO(
    one
    two
    three
)

结果：

$ gcc -E foo.cpp
# 1 "foo.cpp"
# 1 "<command-line>"
# 1 "foo.cpp"


one two three

所以我觉得你运气不好。你可以做一些真正讨厌的事情来解决它：

#define LAMBDA_AND_STRING(lambda) lambda, #lambda
#define NEWLINE

LAMBDA_AND_STRING( [] { NEWLINE
    cout << "Hello world!" << endl; NEWLINE
    cout << "Hello again!"; NEWLINE
} )

预处理到：

[] { cout << "Hello world!" << endl; cout << "Hello again!"; }, "[] { NEWLINE cout << \"Hello world!\" << endl; NEWLINE cout << \"Hello again!\"; NEWLINE }"

现在在打印之前替换字符串中的NEWLINEs。