草庐IT

c# - 为什么不能从扩展类型的基类中调用扩展方法?

coder 2024-05-18 原文

我正在尝试通过覆盖索引器来添加在List<KeyValuePair<string,int>>中查找元素的功能。

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace ConsoleApplication2
{
    public class MyList : List<KeyValuePair<string, int>>
    {
        public int this[string key]
        {
            get
            {
                return base.Single(item => item.Key == key).Value;
            }
        }
    }
}

由于某种原因,编译器将抛出此错误:

'System.Collections.Generic.List<System.Collections.Generic.KeyValuePair<string,int>>' does not contain a definition for 'Single'.



虽然List<T>确实没有该方法,但它应该是可见的,因为它是System.Linq命名空间(包含在内)的扩展方法。显然,使用this.Single解决了此问题,但是为什么通过base访问却出错?

C#规范的第7.6.8节说

When base.I occurs in a class or struct, I must denote a member of the base class of that class or struct.



这似乎妨碍了通过base访问扩展方法。但是它也说

At binding-time, base-access expressions of the form base.I and base[E] are evaluated exactly as if they were written ((B)this).I and ((B)this)[E], where B is the base class of the class or struct in which the construct occurs. Thus, base.I and base[E] correspond to this.I and this[E], except this is viewed as an instance of the base class.



如果base.I((B)this).I一样,则似乎应该在此处允许扩展方法。

谁能在这两个陈述中解释明显的矛盾?

最佳答案

考虑这种情况:

public class Base
{
    public void BaseMethod()
    {

    }
}

public class Sub : Base
{
    public void SubMethod()
    {

    }
}

public static class Extensions
{
    public static void ExtensionMethod(this Base @base) { }
}

以下是有关此代码的一些有趣的断言:
  • 我无法从ExtensionMethod()Base中都使用Sub调用扩展方法。
  • 我无法从base.ExtensionMethod()调用Sub
  • 我可以从Extensions.ExtensionMethod(this)Sub中使用Base调用扩展方法。
  • 我可以从this.ExtensionMethod()Sub中使用Base调用扩展方法。

  • 为什么是这样?

    我没有一个确定的答案,部分是因为可能没有答案:正如您可以在this thread中阅读的那样,如果要以扩展方法样式进行调用,则必须添加this.

    当您尝试使用扩展类型所在的扩展方法时(或因此而来的是从扩展方法中使用的类型派生的类型)时,编译器不会意识到这一点,而是会尝试调用它作为没有任何参数的静态方法。

    答案表明:他们(语言设计者)认为从类型内部支持隐式扩展方法(给野兽起个名字)并不是一个重要的用例场景,因为这会鼓励确实应该是实例方法和实例方法的扩展方法。这被认为完全没有必要。

    现在,很难找出幕后到底发生了什么,但是从一些实践中我们可以推断出base.X()对我们没有帮助。我只能假定base.X从odbbase类的上下文中将其虚拟调用作为X()而不是this.X()来执行。

    我想从子类中调用基类的扩展方法时该怎么办?

    坦白说,我还没有找到任何真正优雅的解决方案。考虑这种情况:
    public class Base
    {
        protected void BaseMethod()
        {
            this.ExtensionMethod();
        }
    }
    
    public class Sub : Base
    {
        public void SubMethod()
        {
            // What comes here?
        }
    }
    
    public static class Extensions
    {
        public static void ExtensionMethod(this Base @base) 
        { 
            Console.WriteLine ("base");
        }
    
        public static void ExtensionMethod(this Sub sub) 
        {
            Console.WriteLine ("sub");
        }
    }
    

    可以通过3种方法(不考虑反射)来调用ExtensionMethod(Base)重载:
  • 调用BaseMethod(),在子类和扩展方法之间形成代理。

  • 您可以为此使用BaseMethod()base.BaseMethod()this.BaseMethod(),因为现在您只需要处理一个普通的实例方法,该实例方法又将调用扩展方法。这是一个相当不错的解决方案,因为您不会污染公共(public)API,但还必须提供一种单独的方法来执行本来应该在上下文中访问的操作。
  • 将扩展方法用作静态方法

  • 您也可以使用原始方法编写扩展方法,方法是跳过语法糖,直接进行编译。现在您可以传入一个参数,这样编译器就不会感到困惑。显然,我们将传递当前实例的转换版本,因此我们的目标是正确的重载:
    Extensions.ExtensionMethod((Base) this);
    
  • 使用base.ExtensionMethod()的翻译-应该是相同的翻译

  • 这是受@Mike z关于语言规范的评论的启发而写的:

    At binding-time, base-access expressions of the form base.I and base[E] are evaluated exactly as if they were written ((B)this).I and ((B)this)[E], where B is the base class of the class or struct in which the construct occurs. Thus, base.I and base[E] correspond to this.I and this[E], except this is viewed as an instance of the base class.



    规范从字面上说,base.I将作为((B) this).I调用。但是,在我们的情况下,base.ExtensionMethod();将引发编译错误,而((Base) this).ExtensionMethod();将正常运行。

    无论是在文档中还是在编译器中似乎都出了问题,但该结论应由对此事有较深了解的人(对Lippert博士进行分页)得出。

    这不是很困惑吗?

    是的,我会说是的。感觉就像C#规范中的一个黑洞:几乎所有东西都可以正常工作,但是突然之间您不得不跳过一些麻烦,因为在这种情况下编译器不知道将当前实例注入(inject)方法调用中。

    实际上,智能感知也对这种情况感到困惑:

    我们已经确定该调用永远无法工作,但Intellisense认为它可能会成功。还要注意它是如何在名称后面添加“using PortableClassLibrary”的,这表明将添加using指令。这是不可能的,因为当前 namespace 实际上是PortableClassLibrary。但是,当然,当您实际添加该方法调用时:

    一切都无法按预期进行。

    也许得出结论?

    主要结论很简单:如果支持扩展方法的这种利基用法,那就太好了。不实现它的主要理由是因为它将鼓励人们编写扩展方法而不是实例方法。

    当然,这里明显的问题是您可能并不总是可以访问基类,这使扩展方法成为必须,但根据当前的实现,这是不可能的。

    或者,正如我们已经看到的那样,不可能使用可爱的语法。

    关于c# - 为什么不能从扩展类型的基类中调用扩展方法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27883427/

    有关c# - 为什么不能从扩展类型的基类中调用扩展方法?的更多相关文章

    1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

      我正在学习如何使用Nokogiri,根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

    2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法? - 2

      总的来说,我对ruby​​还比较陌生,我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础,我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

    3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

      类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

    4. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

      我正在尝试设置一个puppet节点,但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter,它工作正常,但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件,它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

    5. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

      我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

    6. Ruby 方法() 方法 - 2

      我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索,但这不是我需要的。我也看过ruby​​-doc.org,但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗?更新我用methods()方法做了实验,得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

    7. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

      我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

    8. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

      我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

    9. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

      为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

    10. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

      我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他,以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时,出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

    随机推荐