为什么两个不同的声明(即“T&operator[]();”和“T operator[]()”)可以使用相同的代码段?

我知道他们之间的区别 T& operator[](); 和 T operator[]()

container[idx] 可以在return语句中为声明中的两种不同类型的返回类型使用。

编译器如何实现这个目标(一个返回引用,另一个返回副本)?

template<typename T>
class Array
{
 public:
 #ifdef RETURN_REFERENCE
    T& operator[](int idx)
 #else
    T  operator[](int idx)
 #endif
    {
         assert(idx<size);
         return container[idx];  // same expression works for T and T&
    }
 private:
    enum {size =100};

    T container[size];
}