3

在处理 Windows API 时，我试图通过替换两行代码来减少我的代码臃肿

TEMP t{0,1,2}; // let's say it's struct TEMP {int a; int b; int c}
SomeVeryVerboseFunctionName(&t);

单线

SomeVeryVerboseFunctionName(&TEMP{0,1,2});

但偶然发现错误：

表达式必须是左值或函数指示符。

经过多次尝试，我终于想出了可以编译的代码（MSVS 2013u4）：

SomeVeryVerboseFunctionName(&(TEMP) TEMP{0,1,2});//explicit cast to the same type!

为了更好地理解为什么需要演员，我建立了一个简单的测试项目：

#include <stdio.h>

struct A
{
    int a;
    int b;
    A(int _a, int _b) : a(_a), b(_b) {};
};

struct B
{
    int a;
    int b;
};

template <typename T> void fn(T* in)
{
    printf("a = %i, b = %i\n", in->a, in->b);
}

int main()
{
    fn(&A{ 1, 2 });      //OK, no extra magick
    /*  fn(&B {3, 4});      //error: expression must be an lvalue or function designator */
    fn(&(B)B{ 3, 4 });  //OK with explicit cast to B (but why?)
}

并发现如果某些结构T 具有显式构造函数（如A上面代码中的构造函数），则可以获取类型为大括号初始化的临时地址T并将其传递给接受指针的函数T*，但如果它没有有一个（如B），则出现上述错误，只能通过显式转换为类型来克服T。

所以问题是：为什么B需要这种奇怪的铸造A而不需要？

更新

现在很明显，将右值视为左值是 MSVS 中的扩展/功能/错误，是否有人愿意假装它实际上是一个功能（自 2010 年以来足以让 MS 维护它）并详细说明为什么A需要B通过临时变量以不同的方式来满足编译器？它必须与A的构造函数和B的缺乏有关......

4

2 回答 2

12

你所做的在 C++ 中实际上是非法的。

Clang 3.5 抱怨：

23 : error: taking the address of a temporary object of type 'A' [-Waddress-of-temporary]
fn(&A {1, 2}); //OK, no extra magick
   ^~~~~~~~~

25 : error: taking the address of a temporary object of type 'B' [-Waddress-of-temporary]
fn(&(B) B {3, 4}); //OK with explicit cast to B (but why?)
   ^~~~~~~~~~~~~

的所有操作数&必须是左值，而不是临时值。MSVC 接受这些构造的事实是一个错误。根据上面 Shafik 指出的链接，似乎 MSVC 错误地为这些创建了左值。

于 2015-07-08T15:23:24.933 回答
5 
template<class T>
T& as_lvalue(T&& t){return t;}
// optional, blocks you being able to call as_lvalue on an lvalue:
template<class T>
void as_lvalue(T&)=delete;

将使用合法的 C++ 解决您的问题。

SomeVeryVerboseFunctionName(&as_lvalue(TEMP{0,1,2}));

从某种意义上说，as_lvalue是一个逆- move。您可以调用它unmove，但这会让人感到困惑。

在 C++ 中获取右值的地址是非法的。以上将右值转换为左值，此时获取地址变得合法。

获取右值地址是非法的原因是这些数据是要被丢弃的。指针只会在当前行结束之前保持有效（除非通过左值的强制转换创建右值）。这样的指针仅在极端情况下有用。但是，在 Windows API 的情况下，许多此类 API 采用指向数据结构的指针以用于 C 样式的版本控制。

为此，这些可能更安全：

template<class T>
T const& as_lvalue(T&& t){return t;}
template<class T>
T& as_mutable_lvalue(T&& t){return t;}
// optional, blocks you being able to call as_lvalue on an lvalue:
template<class T>
void as_lvalue(T&)=delete;
template<class T>
void as_mutable_lvalue(T&)=delete;

因为越可能正确返回const对数据的引用（为什么要修改临时文件？），而越长的（因此不太可能使用）返回非const版本。

MSVC 有一个旧的“错误”/“功能”，它在不应该的情况下将许多东西视为左值，包括强制转换的结果。用于/Za禁用该扩展。这可能会导致其他工作代码无法编译。它甚至可能导致工作代码无法工作但仍然编译：我没有证明相反。

于 2015-07-08T17:38:35.143 回答