0

我在 C++ 中实现了一个哈希图，以便总体上了解有关关联映射的更多信息，除了一个症结之外，一切都运行良好——我希望程序员能够创建具有任意参数化的映射（例如 [使用例如std::string] HashMap<string,string*>、、HashMap<string,string>等等HashMap<string*,string>都是合法的）。

问题在于，如果我支持将对象作为映射值，则在HashMap::get(int key_data)函数中返回的映射值（给定的键与任何映射的值都不匹配）不能简单地存在。NULL我可以让get(...)函数始终返回一个指向参数化映射值类型的指针，但如果该类型已经是一个指针，我不能使用一元运算&符，如果它是一个对象，我必须使用该&运算符。我肯定不想用RTTI，所以问题如下：

如何允许我的HashMap::get()函数同时允许对象和指向对象的指针返回类型，这也是允许未命中所必需的？

请记住，我使用的是 gcc 4.7 并打开了 C++11，因此所有 C++11 功能和注意事项都适用。HashMap::get()到目前为止，下面遵循我的函数，使用“始终返回指向任何 value_data 恰好是的指针”范例：

template <class key_data,class value_data> value_data*  
HashMap<key_data,value_data>::get(key_data dk) {

    int key = keyGen(dk);

    int hash_val = HashFunc(key);
    HashNode* entry = _table[hash_val];

    while (entry != 0) {
        if (entry->getCurrentKey() == key) {

            //value_data val = entry->getCurrentValue(); //this temporary will be 
            //gone from the stack quickly and therefore the returned pointer to a 
            //pointer (if value_data is a pointer) will segfault

            return &(entry->getCurrentValue()); //this should be legal and yield 
            //a pointer to a pointer (iff value_data was a pointer), but instead 
            //I get a compiler error claiming 
            //operator & requires an lvalue operand...
        }

        entry = entry->next();

    }

    printf("Your get of int key %i resulted in no hits."
           "The returned pointer to Value is NULL!\n",key);


    return NULL;
}

正如注释所述，该行return &(entry->getCurrentValue());引发编译器错误，指出该运算符&需要一个左值操作数。我可以通过在堆栈上放置一个临时变量来消除该错误value_data，但是当我实际尝试使用它时会导致段错误，因为返回的指针几乎会立即无效。简单地使用引用来抽象出语法问题也不起作用，因为在这种情况下无法通过返回实现未命中NULL（ISO 要求引用与原始指针不同，指向有效的左值）。

如果有人对处理可能“无效”的返回引用有任何建议（例如可以查询其他所有内容继承自其有效性的虚拟对象），我也愿意接受。

4

1 回答 1

1

解决这个问题的一种可能方法是部分模板专业化。有关如何为指针执行此操作的示例，请参阅this other question。

基本上（从那里的答案复制），你需要

template <class I>
class GList<I*>
{
    ...
};

为任何指针类型提供一个特殊版本的列表。

于 2013-10-14T19:39:16.977 回答