将左值引用存储到动态分配的数组

Question

考虑下面的自定义数组类

template <typename element, unsigned int size>
class array
{
private:
    element (&data)[size];
public:
    array(element (&reference)[size]):data(reference){}
    array():data(new element [size]){} // This is where my problem arises
};

显然，在构造函数的初始化列表中，将右值表达式（new-expression）计算为指针的右值而不是引用类型。所以在MSVC（Microsoft Visual Studio 2012 RC）中提示类型从element *到element(&)[size]的转换错误>。

但是，我认为如果我可以将右值从指针转换为引用，它应该可以编译。有没有机会在构造函数的初始化列表中实现它？或者也许这一切都与 C++ 语言的原则相冲突？我已经调查了 reinterpret_cast，但我认为唯一相关的规则是

"T1 类型的左值表达式可以转换为引用 另一种类型 T2。结果是一个左值或 xvalue，指的是 与原始左值相同的对象，但类型不同。” - cppreference.com

明确指出转换适用于左值表达式。

好的，我知道你现在可能会怎么想——你为什么需要这样的自定义数组类，为什么不直接使用复合指针而不是有问题的引用呢？嗯...在知道最好的方法之前，您总是需要选择不同的方法，不是吗？

Answer 1

C++11 和右值引用是怎么回事？要获取指针指向的值的左值表达式，只需使用一元 * 运算符。从一开始它就是语言的一部分。在这里你要做的就是确保你得到一个指向数组的指针，而不是指向数组第一个元素的指针。

template <typename element, unsigned int size>
class array
{
private:
    element (&data)[size];
public:
    array() : data(*new element[1][size]) { }
    array(element (&reference)[size]) : data(reference) { }
};

正如 Mat 在他的评论中提到的，这里的无参数构造函数是一个非常糟糕的主意，因为内存不会被释放。希望拥有一个有效的代码示例可以让您进行一些实验并得出相同的结论。

Answer 2

您根本没有在此代码中使用 R 值引用。 && r-value 符号没有一次使用。

编辑：

template <typename element, unsigned int size> 
class array 
{ 
private: 
    element (&data)[size]; 
    static element DefaultArrRef[size];
public: 
    //array(element (&reference)[size]):data(reference){} 
    array():data(DefaultArrRef){}
}; 


template <typename element, unsigned int size> 
element array<element,size>::DefaultArrRef[size];