What is the ISO C++ way to directly define a conversion function to reference to array?

Question

According to the standard, a conversion function has a function-id operator conversion-type-id, which would look like, say, operator char(&)[4] I believe. But I cannot figure out where to put the function parameter list. gcc does not accept either of operator char(&())[4] or operator char(&)[4]() or anything I can think of.

Now, gcc seems to accept (&operator char ())[4] but clang does not, and I am inclined to not either, since it does not seem to fit the grammar as I understand it.

I do not want to use a typedef because I want to avoid polluting the namespace with it.

Johannes Schaub - litb · Accepted Answer · 2010-04-11 00:21:09Z

9

You can use identity

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

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

You are correct that function and array declarators won't work in conversion functions. This is also known and discussed in this issue report. However i think that C++0x already provides a solution to what they discuss there

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

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

Unlike the identity and typedef approach, this allows T and N to be deduced, i think.

edited Apr 11, 2010 at 0:21

answered Apr 10, 2010 at 22:45

Johannes Schaub - litb

510k132 gold badges928 silver badges1.2k bronze badges

Sign up to request clarification or add additional context in comments.

2 Comments

ben Over a year ago

Well, I guess alias is technically not a typedef, but... :argh:

GManNickG Over a year ago

Huh, I love how terse that id template is.

AnT stands with Russia · Accepted Answer · 2010-04-10 22:46:26Z

4

C++ provides no syntax for that. This is one of those cases when you have to use a typedef-name for the type.

In order to avoid polluting the namespace, it is perfectly OK to declare the typedef-name inside the class

struct S {
  int a[4];

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

answered Apr 10, 2010 at 22:46

AnT stands with Russia

323k44 gold badges548 silver badges793 bronze badges

Collectives™ on Stack Overflow

What is the ISO C++ way to directly define a conversion function to reference to array?

2 Answers 2

2 Comments

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

2 Comments

Comments

Your Answer

Sign up or log in

Post as a guest

Related