rvalue-reference to array: can it actually happen?

Question

Consider this code:

#include <iostream>
using namespace std;

typedef int array[12];

array sample;

array ret1(){   //won't compile
    return sample;
}

array& ret2(){
    return sample;
}

array&& ret3(){
    return sample;  //won't compile
}

void eat(array&& v){
    cout<<"got it!"<<endl;
}

int main(){
    eat(ret1());
    eat(ret2());    //won't compile
    eat(ret3());    //compiles, but I don't really know how to write a function that returns a rvalue-reference to an array
}

The only version that actually seems to compile is ret3(). In fact, if I leave out the implementation and just declare it, it compiles (and never link of course), but really I don't know how to explicitly return a rvalue reference to an array. If this can't happen, then can I conclude that rvalue-reference to arrays aren't forbidden but just can't be used?

EDIT:

I just realized that this works:

array&& ret3(){
    return std::move(sample);
}

now the fun is understanding what it's actually worth...

possible duplicate of [Array and Rvalue](http://stackoverflow.com/questions/3656726/array-and-rvalue) — Ken Wayne VanderLinde, Feb 03 '12 at 22:47
Actually, somehow I glossed over the "reference" in the question. This is not a duplicate at all. — Ken Wayne VanderLinde, Feb 03 '12 at 22:51
An rvalue pointer vs. an lvalue pointer -- it decays either way, so what's the perceived benefit here? — ildjarn, Feb 03 '12 at 23:05
@Ken that question has an incorrect accepted answer. What a pity. — Johannes Schaub - litb, Feb 04 '12 at 10:05

score 4 · Accepted Answer · answered Feb 03 '12 at 23:10

Well, you are now treating your array as an r-value. You can think of it as of a temporary object. You can use this information and keep in mind it is safe to modify its contents. For example, you can write print_sorted(array&) function which will print sorted contents of given array. To do this, you can sort it in some additional buffer, since you don't want to shuffle given data. But the same function with print_sorted(array&&) prototype can sort array inplace, since it knows the object is temporary.

However, r-value references to plain objects with no dynamic data stored don't seem very useful.

rvalue-reference to array: can it actually happen?

1 Answers1