c++ 指向对象类型检查的指针

Question

如何验证指针指向的对象是否有效

相关代码

LookupTable<Product *> table;
Product temp = *table[selection];
// if *table[selection] is not a product, program crashes...

下面是查找表：

#ifndef LOOKUPTABLE_H
#define LOOKUPTABLE_H

#include <iostream>
#include <string>

using namespace std;

#define MAXRANGE 10

template <class T>
class LookupTable
{
private:
    T *aptr[MAXRANGE];
    int rangeStart[MAXRANGE];
    int rangeEnd[MAXRANGE];
    int numRanges;

public:
    T defaultValue;
    bool failedRangeCheck;
    std::string failReason;


    // Constructor
    LookupTable() 
    {   
        numRanges = 0; 
        defaultValue = T();
    }      

    void addRange(int start, int end)
    {
        std::cout << "Created a new range...  Start: " << start << " / End: " << end << endl;
        failedRangeCheck = false;

        //lines omitted because not working anyway

        if ( !failedRangeCheck )
        {
            //set ranges
            rangeStart[numRanges] = start;
            rangeEnd[numRanges] = end;

            //build new generic array with end-start+1 positions
            //set pointer to point to it
            aptr[numRanges] = new T[ end - start + 1 ];
            numRanges++;
        }
        else
        {
            std::cout << "Range overlapped another range." << endl;
            std::cout << failReason << endl;
        }
    }

    T &operator[](int value)     // Overloaded [] operator
    {
        for ( int i = 0; i < numRanges; i++ )
        {
            if ( (value >= rangeStart[i]) && (value <= rangeEnd[i]) )
            {
                return aptr[i][value - rangeStart[i]];
            }
        }

        return defaultValue;
    }

    ~LookupTable()
    {
         delete[] aptr;
         numRanges = 0;     
    }

};
#endif

Answer 1

table 是一个LookupTable<Product*>。为什么它会包含一个不是Product*的指针？这没有任何意义。

您永远不需要这样做。您需要这样做的唯一原因是：

• 通过一些复杂的转换，您将一个指向不是Product 的指针插入到table 中。唯一的解决办法是“不要那样做”。

• 您有一个指向 Product 对象的指针，但是您搞砸了对象生命周期管理，并且在完成之前销毁了该对象。对此的解决方案是使用范围绑定的资源管理（SBRM，也称为资源获取是初始化，或 RAII），它允许自动管理生命周期。使用像shared_ptr/weak_ptr 这样的智能指针容器来促进这一点。

• 您将空指针放入table。在这种情况下，您可以不将空指针放入查找表中，也可以在从表中获取指针后检查它是否为空。

Answer 2

根据你发在subsequent question的LookupTable的代码，这个问题终于可以回答了。 （真的，我认为您应该将代码放在这里并删除另一个问题。）

table[selection] 要么返回对表中条目的引用（如果找到选择），要么返回对默认初始化对象的引用。当 LookupTable 专门用于指针类型（例如代码中的 Product*）时，默认初始化的对象将是 NULL 指针。

因此，对于代码中的 LookupTable<Product*>，表达式 table[selection] 要么将结果作为指向在表中找到的 Product 的指针，要么返回 NULL Product 指针。

因此，您不应立即取消引用 table[selection] 的结果并尝试将其分配给 Product 对象，而应实际获取指针值并检查它。

这将通过类似于以下的代码来完成：

Product* result = table[selection];
if(result != NULL)
{
    Product temp = *result;
    // do something with temp, etc, etc
}
else
{
    cout << "invalid product code" << endl;
}

Answer 3

你可以使用dynamic_cast:

if (dynamic_cast<Product *>(table[selection])) != NULL)
{
    ...
}

但是不要这样做。如果您发现自己需要根据对象的运行时类型采取特定操作，那么您几乎可以肯定做错了什么。这就是虚函数的用途。

Answer 4

听起来你需要dynamic_cast。但你的设计听起来也很可疑。为什么您的收藏不包含正确的类型？或者，如果您需要根据对象的类型做出决定，那么您很可能需要某种形式的多态性。

Answer 5

您可以使用 RTTI。包括 <typeinfo> 标头，然后说：

if (typeid(*table[selection]) == typeid(Product)) { ... }

但是这里有些东西真的很可疑......上面的陈述基本上是同义反复的，你根本不需要这样做。 C++ 是一种强类型语言，因此根据定义，包含在Product 对象容器中的任何对象都是Product 的实例——除非你做了一些荒谬的事情，比如使用@987654325 将无效对象插入容器中@。

Answer 6

Product * temp = dynamic_cast<Product*>(table[selection]);
if (temp) {
   do something
}

并继续执行此操作。人们会告诉你不要这样做，但不要听他们的。