C ++指针参数在'ret'指令之前设置为NULL [重复]

Question

我遇到了一个特殊的问题。我以为我知道相当多的 C++，但我一定忽略了一些细微差别？

我有一些模板类，基本上所有发生的事情都是基于某种条件，一个对象正在从一个 std::list 移动到另一个。

这里关注的方法是doAndGet(T *t)。我的意图是让 t 以NULL 的形式出现（或者其他什么，我真的不在乎，但它应该是NULL 或nullptr，如果我最终将T 元素*t 从myList 到 myOtherList，我希望 T *t 指向被移动的项目。

现在可能有一些关于std::list 的东西我不知道，但是当单步执行我的代码时，t 被正确分配并且——最初我认为在方法返回之后，但后来发现——对在ret 指令之前，参数T *t 被设置回NULL

任何大师都可以阐明这个问题吗？真是让我头疼……

template<typename T, typename C>
class Base : IsDerivedFrom<T, C>
{
public:
    typedef std::list<T*> SpecialList;
    virtual bool doAndGet( T* t ) = 0;

protected:

    SpecialList myList;
};

template<typename T>
class Derived : public Base<T, Other>, public Other
{
public:
    Derived( void );
    virtual ~Derived( void );

    bool doAndGet( T* t );

protected:

    typename Base<T, Other>::SpecialList myOtherList;

};

template<typename T>
bool Derived<T>::doAndGet( T *t )
{
    // Nothing to process
    if (myOtherList.empty()) {return false;}

    t = (*myOtherList.begin());
    myOtherList.pop_front();

    if (true/* some condition needs to be moved */)
    {
        t->status = 1;
        this->myList.push_back(t);
        return true;
    } else
    {
        // Something bad happened...
        delete t;
        t = nullptr;
        return false;
    }
}

// Use... (pretend I defined MyOtherClass somewhere, not important)
Derived<MyOtherClass> derivedInstance;

MyOtherClass *t = nullptr;
if ( derivedInstance.doAndGet(t) )
{
    // ... Here I should expect `t` to be not `NULL` and not `nullptr`
    // This however, is not ever the case in my testing...
}

Answer 1

如果您想将一个变量传递给一个函数，并且将该函数中的任何更改反映给调用者，您需要使用一个引用。

C++ 和 C 一样，是按值传递的，其中函数只获取变量的 副本。 C++ 有引用允许通过引用传递。

换句话说，你的函数签名应该是：

bool doAndGet( T* &t );

声明t 是对T* 的引用，允许更改反映回调用者中的原始指针。

一个更简单的例子如下：

#include <iostream>
static void change (int a, int &b) { a = b = 0; }
int main() {
    int a = 42, b = 42;
    change (a, b);
    std::cout << a << ' ' << b << '\n';
    return 0;
}

这会输出42 0，因为传入的a 是按值传递的，并且更改不会反映给调用者。 b 作为引用传入，因此更改被反射回来。

Answer 2

doAndGet 按值传递其参数。所以调用函数中的参数没有改变。

同一事物的更简单示例：

void func(int x)
{
    ++x;
}

int main()
{
    int y = 5;
    func(y);
    std::cout << y << "\n";   // outputs 5
}