可变参数宏中的模板推导失败

Question

我的宏中的 decltype(__VA_ARGS__) 仅针对单个参数而不是在传递多个参数时进行编译。

我想要实现的是根据运行时条件调用可变参数函数。 我的打印机的参数计算起来可能很昂贵，因此我不想在我的条件为假时评估这些参数。

下面是一个最小的示例。任何改写这个问题/描述的 cmets 也很感激。

#include <iostream>
#include <utility>
#include <functional> 

#define PRINT_IF(printer, cond, ...) if(cond) std::invoke(&Printer::print<decltype(__VA_ARGS__)>, printer, __VA_ARGS__)

// Some Fixed Printer Interface ... 
class Printer{
public:

    void print(){}
    
    template <typename T, typename... Types> 
    void print(T&& var1, Types&&... var2) 
    { 
        std::cout << var1 << std::endl ; 
        print(var2...);
    }
    
};


int main()
{
    Printer p;
    
    PRINT_IF(p, returns_false(), very_expensive_string()); // compiles and expensive operation skipped 
    PRINT_IF(p, true, 1); // compiles
    PRINT_IF(p, true, 1, 2, 3); // doesn't compile
    
    // The macro should also handle pointers.
    PRINT_IF(&p, true, 1, 2, 3);

    return 0;
}

Answer 1

您可以这样做以避免必须找到模板重载：

template <class T>
auto add_pointer(T&& t) {
    if constexpr (std::is_pointer_v<std::remove_reference_t<T>>) {
        return t;
    }
    else {
        return &t;
    }
}

#define PRINT_IF(printer, cond, ...) if(cond) add_pointer(printer)->print(__VA_ARGS__)

这让->print 推导出模板参数以避免必须找到重载，并且只需使用add_pointer 将printer 转换为指针（如果它还没有）。