array of elements of various sybtypes

[spir]

On 01/31/2011 09:06 PM, Steven Schveighoffer wrote:
> On Fri, 28 Jan 2011 16:59:20 -0500, Don <nospam at nospam.com> wrote:
>
>> spir wrote:
>>> Hello,
>>> This fails:
>>> class T0 {}
>>> class T1 : T0 {}
>>> class T2 : T0 {}
>>> unittest {
>>> auto t1 = new T1();
>>> auto t2 = new T2();
>>> T0[] ts = [t1, t2];
>>> }
>>> Error: cannot implicitly convert expression (t1) of type __trials__.T0 to
>>> __trials__.T2
>>> Error: cannot implicitly convert expression ([(__error),t2]) of type T2[] to
>>> T0[]
>>> I guess it should be accepted due to explicite typing 'T0[]'. What do you
>>> think? D first determines the type of the last element (always the last
>>> one), here T2. Then, /ignoring/ the array's defined type, tries to cast
>>> other elements to the same type T2.
>>
>> No, it's not supposed to do that. What is supposed to happen is, to use ?: to
>> determine the common type of the array. This will give a T0[] array.
>> Then, it attempts to implicitly cast to the defined type.
>>
>> Your code should work. You've just hit an implementation bug.
>
> I don't think it should do that. But I'm not sure.
>
> It seems it can have several choices as to what base to use. For example, what
> if both T1 and T2 implement the X interface, wouldn't X be just as good a choice?
>
> I'm really unsure what the right thing to do is. But regardless of all this, I
> think there should absolutely be a way to say "I absolutely need this array
> literal to be typed as a U[]" and let the compiler fail if it's not possible.
>
> -Steve

Yes.

Denis
-- 
_________________
vita es estrany
spir.wikidot.com