Почему это требуется для методов расширения суперклассов?

Question

Вот пример код, показывающий странность: (код фиксированные на основе комментариев)

public class C{} 
public static class E { 
    public static void Foo(this C o) { } 
} 
class D:C { 
    void test() { 
// Foo(); // will not compile 
    this.Foo(); // compile ok 
    } 
} 

естественно в классе реального сценария C будет классом я не имею доступа к его исходному коду

Кто-нибудь знает, почему это странное требование использовать это ключевое слово?

Answer 1

Глядя на C# спецификации, раздел 7.6.5.2 указывает, что метод расширения вызовы применяются только для вызовов метода следующих форматов:

expr . identifier () 
expr . identifier (args) 
expr . identifier <typeargs> () 
expr . identifier <typeargs> (args) 

Когда это автономный вызов метода, существует нет expr, поэтому он не ищет метод расширения. Это следует из того, что без expr он не знает, каким должен быть первый аргумент метода расширения.

Answer 2

Это не потому, что D является подклассом C. (что в вашем примере, кстати, это не так.) Это потому, что методы расширения - это «синтаксический сахар», который заставляет казаться, что метод принадлежит классу, даже если это не так. Эта функция компилятора превращает любой вызов callingObject.Foo(); в Foo(callingObject); компилятором.

В вашем прокомментированном коде компилятор не знает, что использовать в качестве первого параметра для вашего метода расширения (т. Е. Он не знает, чего вы хотите this C o), поскольку ни один объект типа C или подкласс из C это называется.

Если вы хотите вызвать метод расширения из базового класса, вы увидите то же поведение.

Надеюсь, что это поможет устранить некоторые путаницы.

Answer 3

Если у вас есть доступ к изменению кода класса ... Почему вы хотите использовать метод расширения? Методы расширения полезны для тех классов, которые у вас нет возможности изменять. Я бы понял, что это будет насуговаться практикой программирования.