什么是 ISO C++直接定义转换函数来引用数组的方法？

Question

根据标准，转换函数有一个 function-id operator conversion-type-id，例如，operator char(&) [4]我相信。但我不知道将函数参数列表放在哪里。 gcc 不接受 operator char(&())[4] 或 operator char(&)[4]() 或我能想到的任何东西。

现在，gcc 似乎接受 (&operator char ())[4] 但 clang 不接受，而且我也倾向于不接受，因为它似乎不符合我理解的语法。

我不想使用 typedef 因为我想避免它污染命名空间。

Answer 1

您可以使用身份

template<typename T>
struct identity { typedef T type; };

struct sample {
  operator identity<char[4]>::type &() {
    ...
  }
};

您是正确的，函数和数组声明符在转换函数中不起作用。 本问题报告。不过，我认为 C++0x 已经为他们在那里讨论的内容提供了一个解决方案，

struct sample {
  template<typename T>
  using id = T;

  template<typename T, int N>
  operator id<T[N]> &() {
    ...
  }
};

与 identity 和 typedef 方法不同，这允许 T 和 <我认为要推导出code>N。

Answer 2

C++ 没有为此提供语法。这是您必须使用类型的 typedef 名称的情况之一。

为了避免污染命名空间，在类内部声明 typedef-name 是完全可以的

struct S {
  int a[4];

  typedef int A[4];
  operator A&() { return a; }
};