C#简单问题，不简单的原理：不能局部定义自定义类型（不含匿名类型）

时间：2021-11-27 16:08:18

今天在进行代码测试时发现，尝试在一个方法中定义一个委托，注意是定义一个委托，而不是声明一个委托变量，在编写的时候没有报错，VS也能智能提示，但在编译时却报语法不完整，缺少方括号，但实际查询并没有缺少，想不通原因，将委托定义移到类中，报错消失，编译成功了。

先看一下报错的源码：(实际上不只委托类型，所有的自定义类型均报错)

    class Class2
    {
        public void Test()
        {
             delegate void testDel(string p); //是错误的

             event testDel testEvnt;//testDel无法生效，所以这里是错误的

            struct teststruct //是错误的
            {
                public string TName
                {get;set;}
            };

             teststruct tStruct=new teststruct();  //teststruct无法生效，所以这里是错误的

            class testClass //是错误的
            {
                public string TTT
                {get;set;}
            };

            testClass tClass=new testClass(); //testClass无法生效，所以这里是错误的

            enum testenum //是错误的
            {
                A,
                B,
                C
            };

             testenum TEnum=testenum.A; //testenum无法生效，所以这里是错误的
        }
    }

报错的截图如下：

C#简单问题，不简单的原理：不能局部定义自定义类型（不含匿名类型）

将这些类型移到类中定义，编译就成功，截图如下：

    class Class2
    {
        delegate void testDel(string p);

        struct teststruct
        {
            public string TName
            { get; set; }
        };

        class testClass
        {
            public string TTT
            { get; set; }
        };

        enum testenum
        {
            A,
            B,
            C
        };

        event testDel testEvnt;
        public void Test()
        {

            teststruct tStruct = new teststruct();

            testClass tClass = new testClass();

            testenum TEnum = testenum.A;
        }
    }

在没有合理的解释下，唯有C#语法不允许这个理由还起来算合理，但若要问为什么不可以，请教多人却没有人能真正解答根本原因。

其实还是让人不理解，匿名类型为什么能直接声明，而自定义的类型就不行了呢？ 难道说MS使用匿名类型就是为了弥补不能局部定义自定义类型，从编程的角度讲，局部定义自定义类型应该是合理的，我想其原因可能与程序集有关，因为C#的所有类型必须显示定义在程序集下（除了匿名类型），而如果是放在方法中程序集就无法直接找到该类型的完整路径。
以下是VS智能提示的在方法中自定义类型的程序集完整路径：

C#简单问题，不简单的原理：不能局部定义自定义类型（不含匿名类型）

从编译器智能提示的程序集路径为 命名空间.类名.自定义类型名，而在方法中的实际路径应该为（我理解）：命名空间.类名.方法签名.自定义类型名，两者匹配不到，所以报错。

同样的编程思想（即在方法中定义自定义类型）在Javascript中却是可,以下是JS代码：

<html doctype>
<head>
    <title>Test</title>
</head>
<body>
    <script type="text/javascript">

        function Person(name) {
            this.Name = name;
            this.Say = function (age) {
                function Address(shen, shi, xian) { //定义Address类型的构造函数
                    this.Shen = shen;
                    this.Shi = shi;
                    this.Xian = xian;
                    this.GetFullAddress = function () {
                        return this.Shen + this.Shi + this.Xian;
                    };
                };

                var Addr = new Address("湖北省", "黄冈市", "XX县");//实例化一个Address类型
                alert("我叫" + this.Name + ",今年" + age + "岁！\n 来自：" + Addr.GetFullAddress());
            }
        }

        var P = new Person("zuowenjun");
        P.Say(29);

    </script>
</body>
</html>

运行的结果：

C#简单问题，不简单的原理：不能局部定义自定义类型（不含匿名类型）

我在想JS都支持，C#语言为什么不支持，不支持总有它的理由吧？除了我上述分析的是因为类型程序集路径不正确导致，目前真没有合理的理由了，若者从报错的角度来说，是否是我的编写语法不对，如果局部定义不是这样，那又是怎样的呢？还请大家帮忙分析一下，指点迷津，非常感谢！

看到大家对我这篇博文贬声较多， 我在此补充说明一下，之所以我会有这样的思考，是基于C#的匿名类型、嵌套类型、动态类型的特性以及JS的伪类型的一种设想，其实我的初衷设想是：在方法体内需要使用某种类型，但这个类型又只需在局部可反复使用，就应该存在一种局部类型，或者称为临时类型，这种类型的与匿名类型类似，但又有不同，不同是匿名类型一旦实例化就不可变更，而这种局部类型是与普通类型相同，只是作用域在方法体中，虽然可以使用元组Tuple及动态类型ExpandoObject实现类似功能，但毕竟在使用时不够直观。不论JS是高级还是低级，至少它是支持这种思想的。

标签：

相关文章