Freemarker：关于函数支持输出、宏支持返回值的实现方案问询

让函数支持“输出”（代码生成/调试输出） #

如果这里的“输出”指类似宏的文本展开或调试信息输出，有两种可行方式：

• 编译期代码生成+返回值：用C++模板元编程结合constexpr函数，既能在编译期完成计算返回值，又能通过模板特化生成不同的输出逻辑：

#include <iostream>

template<int N>
constexpr int calculate() {
    return N * 2; // 编译期计算返回值
}

// 特化模板实现特殊场景的输出
template<>
constexpr int calculate<1>() {
    std::cout << "触发特殊值处理逻辑" << std::endl;
    return 2;
}

int main() {
    int res1 = calculate<5>(); // 仅返回10，无输出
    std::cout << res1 << std::endl;
    
    int res2 = calculate<1>(); // 输出调试信息，返回2
    std::cout << res2 << std::endl;
    return 0;
}

• 运行时调试输出：在函数中直接调用打印接口（如printf/cout），结合__FILE__/__LINE__等预定义宏实现带上下文的输出，同时返回计算结果。

让宏支持返回值 #

宏本质是文本替换，可通过两种方式模拟返回值，同时嵌入输出逻辑：

• GNU扩展语句表达式：支持复杂逻辑，最后一行作为返回值：

#define CALC_AND_LOG(N) ({ \
    int res = N * 2; \
    printf("输入值：%d，计算结果：%d\n", N, res); \
    res; \
})

int main() {
    int result = CALC_AND_LOG(3); // 输出日志，返回6
    printf("最终结果：%d\n", result);
    return 0;
}

• 标准逗号表达式：适用于简单场景，逗号后的值作为返回值：

#define CALC_AND_LOG(N) (printf("计算输入：%d\n", N), N * 2)

更通用的替代方案 #

1. 类封装逻辑 #

把计算和输出逻辑封装到类中，通过成员函数返回结果，构造/成员函数实现输出：

class CalcWithLogger {
public:
    CalcWithLogger(int input) : input_(input), result_(input * 2) {
        printf("初始化输入：%d\n", input_);
    }
    
    int getResult() {
        printf("返回计算结果：%d\n", result_);
        return result_;
    }

private:
    int input_;
    int result_;
};

int main() {
    CalcWithLogger calc(4); // 输出初始化信息
    int res = calc.getResult(); // 输出结果日志，返回8
    return 0;
}

2. 回调函数结合返回值 #

定义带输出回调的函数，既返回计算结果，又通过回调完成自定义输出：

#include <functional>

int calculate(int n, const std::function<void(int, int)>& logger) {
    int res = n * 2;
    logger(n, res); // 执行输出逻辑
    return res;
}

int main() {
    auto log_func = [](int input, int output) {
        printf("输入：%d → 输出结果：%d\n", input, output);
    };
    int result = calculate(5, log_func); // 输出日志，返回10
    return 0;
}

内容的提问来源于stack exchange，提问作者Klaus