Отражение с генерическим синтаксисом не выполняется при возврате параметра переопределенного метода

Чтобы избежать старомодного неэквивалентного синтаксиса при поиске атрибутов известного типа, обычно используются методы расширения в System.Reflection.CustomAttributeExtensions class (так как .NET 4.5).

Однако это не сработает, если вы ищете атрибут возвращаемого параметра переопределенного метода (или аксессуар переопределенного свойства/индексатора).

Я испытываю это с помощью .NET 4.6.1.

Простое воспроизведение (полное):

using System;
using System.Reflection;

namespace ReflectionTrouble
{
  class B
  {
    //[return: MyMark("In base class")] // uncommenting does not help
    public virtual int M() => 0;
  }

  class C : B
  {
    [return: MyMark("In inheriting class")] // commenting away attribute does not help
    public override int M() => -1;
  }

  [AttributeUsage(AttributeTargets.ReturnValue, AllowMultiple = false, Inherited = false)] // commenting away AttributeUsage does not help
  sealed class MyMarkAttribute : Attribute
  {
    public string Descr { get; }

    public MyMarkAttribute(string descr)
    {
      Descr = descr;
    }

    public override string ToString() => $"MyMark({Descr})";
  }

  static class Program
  {
    static void Main()
    {
      var derivedReturnVal = typeof(C).GetMethod("M").ReturnParameter;

      // usual new generic syntax (extension method in System.Refelction namespace):
      var attr = derivedReturnVal.GetCustomAttribute<MyMarkAttribute>(); // BLOWS UP HERE, System.IndexOutOfRangeException: Index was outside the bounds of the array.
      Console.WriteLine(attr);

      // old non-generic syntax without extension method works:
      var attr2 = ((MyMarkAttribute[])(derivedReturnVal.GetCustomAttributes(typeof(MyMarkAttribute), false)))[0]; // OK
      Console.WriteLine(attr2);
    }
  }
}

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

Трассировка стека:

Unhandled Exception: System.IndexOutOfRangeException: Index was outside the bounds of the array.
   at System.Attribute.GetParentDefinition(ParameterInfo param)
   at System.Attribute.InternalParamGetCustomAttributes(ParameterInfo param, Type type, Boolean inherit)
   at System.Attribute.GetCustomAttributes(ParameterInfo element, Type attributeType, Boolean inherit)
   at System.Attribute.GetCustomAttribute(ParameterInfo element, Type attributeType, Boolean inherit)
   at System.Reflection.CustomAttributeExtensions.GetCustomAttribute[T](ParameterInfo element)
   at ReflectionTrouble.Program.Main() in c:\MyPath\Program.cs:line 38

Я делаю что-то явно неправильно?

Является ли это ошибкой, и если да, то это хорошо известно, и это старая ошибка?

Ответы

Ответ 1

Это действительно похоже на ошибку. Проблема, похоже, связана с наследованием. Это работает:

ReturnParameter.GetCustomAttribute<MyMark>(inherit: false)

Извлечение атрибутов имеет два пути кода, которые работают по-другому: MemberInfo.GetCustomAttribute (старше) и Attribute.GetCustomAttribute (более новые и рекомендуемые). Существуют также общие методы расширения, которые используют последний, более новый подход. Разница между ними действительно заключается в том, как они обрабатывают наследование..NET 1.0 игнорировал параметр inherit для свойств, событий и параметров. Поэтому, чтобы не нарушать вещи, статические методы на Attribute мы ввели в .NET 2.0 (вместе с этой ошибкой).

Похоже, что они игнорировали специальный параметр возвращаемого значения при подходе к дереву наследования (см. здесь). Вы можете открыть проблему в репозитории GitHub или ошибке Connect.