Атрибуты и возвращаемые значения

[Dmitry]

Такой код:

Код:

[AttributeUsage(AttributeTargets.ReturnValue, Inherited = true)]
public class MyAttrAttribute : Attribute
{
        public string S { get; set; }
        public MyAttrAttribute(string s)
        {
            S = s;
        }
}

Код:

public class A
{
        [return: MyAttr("abc")]
        public virtual void Foo(int a)  { }
}

public class B : A
{
        public override void Foo(int a) { }
}

Теперь, если пишем

Код:

Type t = typeof(B);
MethodInfo mi = t.GetMethod("Foo");
ParameterInfo pi = mi.ReturnParameter;         
MyAttrAttribute atr = (MyAttrAttribute)Attribute.GetCustomAttribute(pi, typeof(MyAttrAttribute));
if (atr != null)
{
        Console.WriteLine(atr.S);
}

Attribute.GetCustomAttribute выбрасывает исключение IndexOutOfRange!
Если явно пометить атрибутом возвращаемое значение переопределённого метода (хотя в этом нет смысла - атрибут наследуемый)  - ничего не меняется. Ну а для класса A всё как и должно быть. И с параметрами методов. Т.е. не получается проверить на применение атрибутов возвращаемые значения только в переопределённых методах.

[Dimka]

Dmitry, ты же делаешь override метода - это уже другой метод (другая функция). Тот факт, что в таблице виртуальных функций она занимает место предыдущей, к твоему атрибуту не имеет никакого отношения. Атрибут принадлежит функции, а не позиции в таблице виртуальных функций. Убери override-метод или добавь атрибут к override-методу, и всё взлетит.

[Dmitry]

Dimka, обрати внимание, что атрибут наследуемый - при определении класса атрибутов я указал явно Inherited = true (но этого можно и не делать, оно по умолчанию true).
Немного переписал пример до адекватного состояния.

Код:

[AttributeUsage(AttributeTargets.All, AllowMultiple = false, Inherited = true)]
public class MyAttrAttribute : Attribute
{
        public string S { get; set; }
        public MyAttrAttribute(string s)
        {
            S = s;
        }
}

Код:

 
public class A
{
        [MyAttr("abc")]
        public virtual void Foo(int a)
        {
        }
}

public class B : A
{
        public override void Foo(int a)
        {
        }
}

Код:

Type t = typeof(B);
MethodInfo mi = t.GetMethod("Foo");
MyAttrAttribute atr = (MyAttrAttribute)Attribute.GetCustomAttribute(mi, typeof(MyAttrAttribute), true);
if (atr != null)
{
      Console.WriteLine(atr.S);
}

Наследуемый атрибут применяем к виртуальному методу Foo базового класса. Теперь мы, допустим, хотим узнать, помечен ли атрибутом переопределённый метод в классе B. Метод Attribute.GetCustomAttribute смотрит метаданные метода в классе B, не найдя там экземпляра нашего атрибута, просматривает базовые классы (для этого третьим параметром в GetCustomAttribute для наглядности передаём true, можно вызвать без этого параметра, по-умолчанию всё равно true). И на выходе программы будет - "abc" -  всё работает.
С параметрами тоже работает. А с возвращаемым значением - нет. В любом случае по документации GetCustomAttribute не должен вызывать такое исключение. Явно баг.

Добавлено через 54 минуты и 59 секунд:

Убери override-метод или добавь атрибут к override-методу, и всё взлетит.

Если убрать override - заработает. Тогда по иерархии классов не надо проходиться.
Если добавить атрибут к override-методу - ничего не изменится, я об оэтом писал уже. Хотя GetCustomAttribute возвращает ссылку только на один экземпляр атрибута, он проверяет, не применялся ли атрибут несколько раз (тогда бросает исключение). Поэтому, если мы вызываем  GetCustomAttribute с параметром inherit = true для виртуальных методов, он вынужден пройтись по всем базовым классам.

[Dimka]

Код: (C#)

foreach(object o in typeof(B).GetMethod("Foo").GetCustomAttributes(true))
{
    MyAttribute a = o as MyAttribute;
    if(a != null)
    {
        Console.WriteLine(a.S);
    }
}

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

Добавлено через 27 минут и 22 секунды:
Dmitry, я невнимательно прочитал, а ты меня запутал своими рассуждениями.

Ты хочешь пометить атрибутом не метод, а возвращаемое методом знание. Оно-то у тебя никак не наследуется. Наоборот, ты его заменяешь на новое, выполняя override. Наследуется лишь позиция в таблице виртуальных функций. Если не делать override, унаследуется и сам метод (как функция со своими параметрами и результатом). Но ты-то пишешь новый экземпляр функции со своими экземплярами параметров и возвращаемого значения. Ты хочешь функцию поменять, а атрибуты составных частей функции унаследовать - на каком основании? Как компилятор должен догадаться об этом? Слишком усложняешь семантику. Есть семантика базового и производного класса, но нет семантики базовой и производной функции (метода)!

И какой смысл помечать атрибутом возвращаемое значение, а не весь метод?

[Dmitry]

Для чего это нужно - это, конечно, хороший вопрос Наверное, на извращениях проще баг словить.
Но я не вижу тут никаких противоречий для компилятора или ещё чего-нибудь. С помощью reflection всё должно прекрасно выуживаться из метаданных, без размышлений о семантики и виртуальных таблицах. А раз уж метод Attribute.GetCustomAttributes принимает параметр ParameterInfo - так пусть ведёт себя с ним адекватно. Наследование атрибутов параметров ведь работает.

Вот, кстати, неспроста реализации методов GetCustomAttributes и IsDefined класса ParameterInfo игнорируют параметр Inherited, т.е. они не исследуют иерархию классов.

[Dimka]

А раз уж метод Attribute.GetCustomAttributes принимает параметр ParameterInfo - так пусть ведёт себя с ним адекватно. Наследование атрибутов параметров ведь работает.

Ты здесь себе же противоречишь. Наследование атрибутов параметров при override метода не работает - именно потому, что для ParameterInfo не существует понятий "базовый" и "производный". И это адекватное поведение.

[Dmitry]

Код: (C#)

 public class A
{
        public virtual void Foo([MyAttribute("param1")] int a) {}
}

public class B : A
{
        public override void Foo([MyAttribute("param2")] int a){}
}

Код: (C#)

ParameterInfo[] param = typeof(B).GetMethod("Foo").GetParameters();
foreach (object o in Attribute.GetCustomAttributes(param[0], true))
{
        MyAttribute a = o as MyAttribute;
        if (a != null)
        {
                Console.WriteLine(a.S);
        }
}

param2
param1

Почему я не могу ожидать такое же поведение для возвращаемых значений?
Я же не убеждаю тебя, что наследование должно работать. Для методов типа ParameterInfo не существует наследования, и в приведенном выше примере на выходе для них было бы только "param2". Ну и отлично. Но тогда методы класса Attribude должны вести себя аналогично (это элементарно, для ParametrInfo своя перегрузка этих методов - ParametrInfo не наследуется от MemberInfo), но не выбрасывать загадочное исключение IndexOutOfRangeException!

[Dimka]

Код: (C#)

    [AttributeUsage(AttributeTargets.All, Inherited = true, AllowMultiple = false)]
    class A: Attribute
    {
        public string S { get; set; }
        public A(string s)
        {
            this.S = s;
        }
    }

    class X
    {
        public virtual object F([A("test")]object p)
        {
            return null;
        }
    }

    class Y: X
    {
        public override object F(object p)
        {
            return null;
        }
    }

    class Program
    {
        static void Main(string[] args)
        {
            foreach(ParameterInfo p in typeof(Y).GetMethod("F").GetParameters())
            {
                foreach(object o in p.GetCustomAttributes(true))
                {
                    A a = o as A;
                    if(a != null)
                    {
                        Console.WriteLine(a.S);
                    }
                }
            }
            Console.ReadKey();
        }
    }

А такой код ничего не выводит. Если же использовать статический метод класса Attribute, то значение выводится для параметра функции, а для возвращаемого значения возникает исключительная ситуация выхода индекса за пределы диапазона значений.

Из чего можно сделать вывод, что лучше этим не пользоваться и ни на что не надеяться. Недокументированная фича или какие-то побочные эффекты.

Так чего же ты всё-таких хочешь: на трудную жизнь пожаловаться, известить мир о кознях Microsoft или решить какую-то свою задачу? Если последнее, то описания задачи так до сих пор и не было. Если первое или второе, то будто бы вопрос исчерпан.

[Dmitry]

А такой код ничего не выводит. Если же использовать статический метод класса Attribute, то значение выводится для параметра функции, а для возвращаемого значения возникает исключительная ситуация выхода индекса за пределы диапазона значений.

Я про это и писал. В частности, постом выше.

Из чего можно сделать вывод, что лучше этим не пользоваться и ни на что не надеяться. Недокументированная фича или какие-то побочные эффекты.

А можно и багом назвать.

Так чего же ты всё-таких хочешь: на трудную жизнь пожаловаться, известить мир о кознях Microsoft или решить какую-то свою задачу? Если последнее, то описания задачи так до сих пор и не было. Если первое или второе, то будто бы вопрос исчерпан.

Без конкретной задачи фича - не фича? Случайно наткнулся на это, поделился, заодно разобраться хотел. Только и всего.