用于空安全指针访问的 C/C++ 宏

Question

我想编写一个用于空安全指针访问的 C/C++ 宏。我目前有这个，效果很好：

#define NULL_SAFE(p, e) if (p) p->e
NULL_SAFE(myPtr, myMethod(myArg));

但我真正想要的是拥有这样的东西：

NULL_SAFE(
  myPtr, myMethod(myArg),
  myOtherPtr, myOtherMethod(myOtherArg),
  yetAnotherMyPtr, plsStopMethod(grArg),
  ...
);

这将扩展为：

  if (myPtr) myPtr->myMethod(myArg);
  if (myOtherPtr) myOtherPtr->myOtherMethod(myOtherArg);
  if (yetAnotherMyPtr) yetAnotherMyPtr->plsStopMethod(grArg);

我能想到一大堆我可能喜欢使用的这些，但它们都在与这个相同的概念上运作。

这可能吗？这是否已经存在于某个地方？有什么建议么？感谢您的帮助！

Answer 1

如果 NULL 检查是算法的一部分，那么只需明确键入 NULL 检查，不要使用任何 icky 宏。

如果 NULL 检查是一种防御性编程方式，那么正确的做法是assert(ptr);。如果断言曾经触发，请修复导致它的错误。重复直到没有留下任何错误，然后从生产质量代码中删除断言。

Answer 2

C++11：

inline void null_safe()
{
}

template <typename Ptr, typename Fn, typename... Args>
void null_safe(Ptr&& ptr, Fn&& fn, Args&&... args)
{
    if (ptr)
        fn();
    // you could put "else" here                                                                                                            
    null_safe(std::forward<Args>(args)...);
}

您可以使用任何可调用对象作为第二个参数，因此：

int f2() {
    return printf("f2\n");
}

int f3() {
    return printf("f3\n");
}

int main()
{
    int i1 = 1;

    null_safe(
        &i1, f2
        );

    null_safe(
        NULL, f2,
        &i1, f3
        );
}

您也可以使用任何谓词作为第一个参数。

为什么这里是 NULL 而不是 nullptr 留给读者作为练习。

Answer 3

我能做到的最接近的方法是使用 c++11 可变参数模板和 C99 可变参数宏...抱歉，如果您的平台不允许这样做，尽管编写代码很有趣！

#include <functional>
#include <iostream>

template<class T>
void stuff(T a)
{
    std::cout<< "stuff:" << a << std::endl;
}

template<class T>
void other_stuff(T a)
{
    std::cout<< "other_stuff:" << a << std::endl;
}

template <typename Test, typename ToCall>
void tester(Test t, ToCall tc)
{
    if(t) tc();
}

template <typename Test, typename ToCall, typename... Others>
void tester(Test t, ToCall tc, Others... args)
{
    if(t) tc();
    tester(args...);
}

#define FUN_WRAP(a,b) std::bind(a<decltype(b)>, (b) )
#define NULL_SAFE(...) tester(__VA_ARGS__)

int main()
{
    NULL_SAFE(1, FUN_WRAP(stuff, 1),
        0, FUN_WRAP(stuff, 2),
        1, FUN_WRAP(other_stuff, 3)
        );
}