条件运算符 returns 来自其参数副本的值

Question

当条件运算符 c?x:y 的两个 return 参数不是同一类型时，将在应用强制转换之前创建一个副本。可以在保持简单易用性的同时避免这种情况吗？

我有这个（针对问题进行了删减）：

struct Fixed {
  char data[10];
  Fixed(char *s) { strcpy(data, s); }
  operator char*() { return this->data; }
};

但是它对条件运算符和 nullptr 的行为非常糟糕:

Fixed f =...; // just here to show the type of f, don't read too much into this
...
bool condition = ...;
char *s = condition ? nullptr : f;

创建了 f 的副本，s 现在指向堆栈上的一个值，该值很快就会消失。这一切都是因为 nullptr 的类型是 std::nullptr_t。 f 将通过转换为 char*，但前提是先复制它。这似乎是非常糟糕的行为，但这是规范所说的。

我目前的解决方法是只制作 cast 和 ctor explicit，但这会稍微破坏可用性。还有其他解决方案吗？

这里有一些示例代码可以玩（忽略质量，因为我一直在玩这个，看看 gcc 和 LLVM 如何不同地处理这个问题）：

#include <cstdio>
#include <iostream>
#include <array>
#include <cstring>

using namespace std;

struct A : public array<char,4> {
  A() { cerr<<"def\n"; }
  A(const A &o) { cerr<<"copy\n"; (*this)=o;}
  A(const char *s) { cerr<<"ctor\n";assign(s); } // explicit fixes
  void assign(const char*s) {cerr<<"assign\n";memset(this->begin(), 0, 4); strncpy(this->begin(), s, 4); }
  operator char*() { cerr<<"cast\n";return this->begin(); }
  //operator void*() { cerr<<"void\n";return this->begin(); }
  //operator std::nullptr_t() { cerr<<"void\n";return (std::nullptr_t)this->begin(); }
};

volatile A *faraway = new A();

char* plain(A &v) { cerr<<"in pl\n";
  return faraway == nullptr ? nullptr : v;
}
char* cast1(A &v) { cerr<<"in c1\n";
  return faraway == nullptr ? (char*)nullptr : v;
}
char* cast2(A &v) { cerr<<"in c2\n";
  return faraway == nullptr ? nullptr : (char*)v;
}

int main() {
  A *a = new A; a->assign("asd");

  char *x = a->data();
  cerr << "\nplain\n";
  char *yp = plain(*a);
  cerr << "\nc1\n";
  char *y1 = cast1(*a);
  cerr << "\nc2\n";
  char *y2 = cast2(*a);

  cerr << "\n---\n";
  cerr << (void*)a << "\n" << (void*)(a->data()) << "\n" << (void*)x << "\n---\n";
  cerr << (void*)yp << "\n" << (void*)y1 << "\n" << (void*)y2 << "\n";

  return 0;
}

Answer 1

您的问题是三元操作数的类型为 std::nullptr_t 和 struct Fixed。推理规则查找从一种操作数类型到另一种操作数类型的转换，以及公共基数类。没有机会推断char*.

~~您可以通过提供 operator std::nullptr_t() = delete;~~

自动捕获错误

条件运算符 returns 来自其参数副本的值

Conditional operator returns value from a copy of its argument

c++

conditional-operator

temporary-objects