Re: Type inference and overloaded functions

[Ali Çehreli]

On 12/09/2013 10:52 PM, Jonathan M Davis wrote:
On Tuesday, December 10, 2013 07:47:38 FreeSlave wrote:
I just found weird D behavior about inference of array types.
Let's suppose we have these overloaded functions:

import std.stdio;

void bar(const(int[3]) arr)
{
      writeln("static array");
}

void bar(const(int[]) arr)
{
      writeln("array slice");
}

// In main we have something like that:
int main(string[] args)
{
      bar([1,2,3]);
      writeln(typeof([1,2,3]).stringof);
      return 0;
}

Weird thing is that the static array version of bar is called,
but typeof().stringof is int[], not int[3].

Array literals are always dynamic arrays. int[3] is a static array.

- Jonathan M Davis


The original question is valid then: [1,2,3] goes to the static array 
overload.

Ali