在c ++ 11中将指针传递给临时？

Question

我有一个现有的功能：

void foo(const Key* key = nullptr)
{
  // uses the key
}

我想将它的指针传递给临时 Key 对象（即右值），例如：

foo(&Key());

这会导致编译错误，但是在 c++ 11/14 中有没有办法我可以做到这一点？当然可以：

Key key;
foo(&key);

但是我不需要object Key，我只需要在foo()和foo()里面

或者我可以这样做：

foo(new Key());

但随后对象不会被删除。

Answer 1

我认为这不是一个好主意，但如果你真的想要一个临时的并且无法更改 foo，你可以将临时转换为 const&：

int main()
{
    foo(&static_cast<const Key&>(Key{}));
}

live example on wandbox

---

或者，您可以将对象的创建“隐藏”在一个方便的函数后面：

template <typename T, typename F, typename... Ts>
void invoke_with_temporary(F&& f, Ts&&... xs)
{
    T obj{std::forward<Ts>(xs)...};
    f(&obj);
}

int main()
{
    invoke_with_temporary<Key>(&foo);
}

live example on wandbox.org

---

另一种选择：提供一个带有引用的foo 的重载：

void foo(Key&& key)
{
    foo(&key);
}

Answer 2

只需自己控制丢弃变量的范围：

{
    Key key;
    foo(&key);
} // <-- 'key' is destroyed here

Answer 3

这是一个实用功能。基本上是std::move¹的倒数：

template<class T>
T& as_lvalue( T&& t ) { return t; }

如果使用不当，可能会导致引用悬空。

然后你的代码变成：

foo(&as_lvalue(Key()));

“不能获取临时地址”的目标是因为您可能会因为隐式临时创建等原因而获得极其意外的行为。

在这种情况下，我们明确地采用临时地址。

这并不比创建命名值、调用函数然后立即丢弃命名值更危险。

---

¹std::move 接受一个 l 或 r 值并返回一个对它的右值引用，表明消费者应该把它当作一个临时的，它的存在很快就会被丢弃。 as_lvalue 接受一个 l 或 r 值引用并返回一个对它的左值引用，表明消费者应该将其视为非临时的，其存在将持续存在。

它们都是有效的操作，但std::move 更为关键。 （std::move 真的可以称为as_rvalue）。我建议不要使用像 unmove 这样的聪明名字。

Answer 4

采用指针而不是引用的唯一原因是指针是否可以为空。如果是这种情况，那么您的 foo 函数将如下所示：

void foo(const Key *key)
{
  if(key)
    //Do stuff with `key`
  else
    //Alternate code
}

鉴于此，您想要的是第二个重载，它将所有“用键做事”重构为它自己的函数，该函数需要一个引用。那就这样做吧：

void foo(const Key &key)
{
  //Do stuff with `key`
}

void foo(const Key *key)
{
  if(key)
    foo(*key);
  else
    //Alternate code.
}

如果您有在这两种情况下都执行的通用代码，也可以将其重构为自己的函数。

是的，“用钥匙做事”可能很复杂，并且分为几行。但这表明这里有一个非常奇怪的设计。

你也可以用其他方式重构它：

void foo(const Key &key) {foo(&key);}

Answer 5

我使用这样的东西：

template <typename T>
const T* temp_ptr(const T&& x) { return &x; }

这样使用：

foo(temp_ptr(Key{}));

这在处理某些遗留 API 时非常有用。特别是 DirectX 11 经常采用 const T* 的参数聚合结构，并且内联创建和传递它们很方便。与这里的一些评论者不同，我认为这个习语没有任何问题，尽管我更喜欢这些 API 只是采用 const 引用并以不同方式处理可选参数。

这是一个非常有用的示例 D3D11 API 调用：

    vector<Vec3f> verts;
    ...
    ID3D11BufferPtr vbuf;
    d3dDevice->CreateBuffer(
        temp_ptr(CD3D11_BUFFER_DESC{byteSize(verts), D3D11_BIND_VERTEX_BUFFER}),
        temp_ptr(D3D11_SUBRESOURCE_DATA{data(verts)}), &vbuf);

用于调用ID3D11Device::CreateBuffer()创建顶点缓冲区。

在较大的项目中，我可能会为许多 D3D API 调用编写包装器，这使得它们更方便地以现代 C++ 风格调用，但对于我希望拥有最少额外代码或依赖项的小型独立示例项目，我发现这非常有用.

我过去使用的另一个有效技巧是：

foo(std::data({Key{}}));

但我并不特别推荐这样做，因为我认为其意图不明确并且依赖于对初始化列表如何工作的太多了解。如果您需要传递一个临时的“数组”，则变体很有用：

d3dDeviceContext->ClearRenderTargetView(rendertarget, data({0.0f, 0.0f, 0.0f, 0.0f}));

用于调用 ID3D11DeviceContext::ClearRenderTargetView() 之类的 API。

Answer 6

如果您关心的是变量范围（正如您在评论中提到的），您可以使用

{Key key;foo(&key);}

Answer 7

或者我可以这样做：

foo(new Key());

但随后对象不会被删除。

您可以创建一个智能指针，但我不想这样做。不过还是有可能的。

#include <memory>
foo(std::make_unique<const Key>().get());