用于存储不同级别指针的泛型变量

Generic variable to store varying levels of pointers

本文关键字：指针 泛型 变量 存储 用于      更新时间：2023-10-16

我想为指针类型的对象编写一个通用的集中式null-checker API。我想要填充我的输入指针对象的列表，并调用null-checker API来扫描该列表并验证是否有任何指针对象具有null值。为此，我需要在一个通用变量中存储不同级别的指针。我如何在C++中做到这一点？

template<typename type>
bool check(type& t)
{
    return false;
}
template<typename type>
bool check(type* t)
{
    return true;
}
int main()
{
    char** doubleCharPointer = NULL;
    char* charPointer = "charPointer";
    doubleCharPointer = &charPointer;
    char** temp = doubleCharPointer;
    char* temp1 = NULL;
    int count = 0;
    if(!check(temp))
    {
        cout << "nNot a pointer" << endl;
        return 0;
    }
    temp1 = *temp;
    count++;
    if(!check(temp1))
    {
        cout << "nPointer level : " << count << endl;
        return 0;
    }
    count++;
    cout << "nPointer level : " << count << endl;
}

这是我的空检查器原型。它现在非常静止。但是我想扩展它以支持任何级别的指针检查。为此，我需要"temp"能够容纳任何级别的指针，这样我就可以运行无限while循环，直到输入指针的所有级别都被消耗和验证为止。我该怎么做？请帮忙。

如果不知道级别的确切数量，我不相信有直接的解决方案。假设您可以逐层检查每个级别是否为NULL，但主要问题是您不知道必须搜索多远，所以最终如果您只是从一个地址转到另一个地址，您可能会发现一个NULL指针，或者因为没有停止条件而永远无法结束验证循环。通过这样做，您还可以访问一个未分配的内存地址，该地址可能会引发异常，也可能不会引发异常，因此您不能将此引发的异常用作停止条件。

我想你想要

template<typename T>
bool check_ptr_not_null(const T&)
{
    return true; // not a pointer
}
template<typename T>
bool check_ptr_not_null(T* t)
{
    return (t != nullptr) && check_ptr_not_null(*t);
}

实时演示

免责声明：不要投票这个答案（肮脏的黑客）

根据A-B的回答，这是我目前能得到的最好的答案：

template<typename T>
bool notnull(T const *t, int level) {
  while (level-- > 1) {
    if (t == NULL)
      return false;
    t = (T const *)*t;
  }
  return t != NULL;                                                                                                                                            
}

注意，由于行t = (T const *)*t，这将导致一些编译器警告，所以我认为这是不安全的。一个更干净的方法是定义一些宏：

#define NOTNULL_P1(x) (x != NULL)
#define NOTNULL_P2(x) ((x != NULL) && NOTNULL_P1(*x))
#define NOTNULL_P3(x) ((x != NULL) && NOTNULL_P2(*x))
#define NOTNULL_P4(x) ((x != NULL) && NOTNULL_P3(*x))
#define NOTNULL_P5(x) ((x != NULL) && NOTNULL_P4(*x))
相关文章：