自定义集合表达式的问题

[tsctsc6]

根据官方文档，尝试自定义集合表达式来构造RangeCollention，源码

在Program.cs 16行，去掉注释会报一个奇怪的错，“无法将Rang隐式变换为int”。不是，谁要他变换为int了？在RangeExtension.cs中，我明明写的是ReadOnlySpan<Range>。

仔细看了一下，编译器把方括号识别为Index implicit operator Index(int)，为何？

[KiyanYang]

当前编译器通过IEnumerator<T> GetEnumerator来识别类型，对于你的代码会识别到int。

可以参考 https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/proposals/csharp-12.0/collection-expressions#the-notion-of-iteration-type-is-not-applied-consistently-throughout-conversions

[tsctsc6]

可是我问的是16行，
RangeCollention r3 = [0..5, 10..15];
这一句无法构造类型RangeCollention

[KiyanYang]

看 https://github.com/tsctsc6/collection-expressions/blob/main/RangeExtension%2FUtilities%2FRangeExtension.cs#L25-L25 的返回值，编译器会认为你的RangeCollention是int的迭代类型，所以0..5会被编译器尝试转换为int，你可以把返回值改成IEnumerator<long> 再看看报错信息

编译器不通过继承的接口识别类型，也不通过CollectionBuilder来识别类型，而是通过IEnumerator<T> GetEnumerator()来识别类型为 T的迭代类型。

[tsctsc6]

好，我明白你的意思了

[tsctsc6]

也就是说，我想象中的功能就无法实现了？

[KiyanYang]

应该是，需要多一些操作

比如你的new([0..5, 10..15])，或者扩展方法或重载操作符

[tsctsc6]

总之感谢你的解答

[tsctsc6]

但是我去试了一下文档的这段代码：

using System.Collections;
using System.Collections.Generic;

class MyCollection : IEnumerable
{
    IEnumerator IEnumerable.GetEnumerator() => throw null;

    public IEnumerator<string> GetEnumerator() => throw null; 
    public void Add(object l) => throw null;
}

class Program
{
    static void Main()
    {
        Test("2", 3); // error CS1503: Argument 2: cannot convert from 'int' to 'string'
        Test(["2", 3]); // Ok
    }

    static void Test(params MyCollection a)
    {
    }
}

发现它的“OK”其实不OK啊，我用的是.net 8，确实对应csharp-12啊

[KiyanYang]

是的，params MyCollection 还没有正式发布，提案在这 dotnet/csharplang#7700 ，可以先通过 SharpLab预览一下

[tsctsc6]

原来如此，谢谢