Отражение с общим синтаксисом завершается сбоем при возвращаемом параметре переопределенного метода

Чтобы избежать старомодного неуниверсального синтаксиса при поиске атрибутов известного типа, обычно используются методы расширения в 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

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

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


person Jeppe Stig Nielsen    schedule 01.08.2016    source источник
comment
Вы заметили, что пытаетесь получить настраиваемый атрибут возвращаемого параметра, а не самого метода? var derivedReturnVal = typeof(C).GetMethod("M").ReturnParameter;   -  person shirbr510    schedule 04.08.2016
comment
также атрибут должен быть записан как: [MyMark("In inheriting class")] (return: является избыточным)   -  person shirbr510    schedule 04.08.2016
comment
@ shirbr510 Атрибут настроен на целевые типы возвращаемых значений, поэтому требуется return:. Поскольку атрибут применяется к возвращаемому значению, а не к самому методу, код имеет смысл.   -  person Will Ray    schedule 04.08.2016
comment
@ shirbr510 Вопрос об атрибутах возвращаемого параметра. Я постарался сделать это очень ясным как в тексте, так и в заголовке. Поэтому мой .ReturnParameter является преднамеренным. Также необходимо [return: ...], поскольку method: является расположением по умолчанию для этой позиции атрибута.   -  person Jeppe Stig Nielsen    schedule 04.08.2016
comment
Я столкнулся с той же проблемой в .Net Core 3 с использованием Entity Framework внутри приложения Xamarin. Я проследил это до той же проблемы при получении настраиваемых атрибутов для базового свойства. Это когда-нибудь было исправлено? В итоге я открыл проблему в проекте Mono, которая еще не привлекла внимания: github.com /mono/mono/issues/17477   -  person Steve    schedule 06.11.2019


Ответы (1)


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

ReturnParameter.GetCustomAttribute<MyMark>(inherit: false)

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

Похоже, что при переходе вверх по дереву наследования они пренебрегли особым регистром параметра возвращаемого значения (см. .cs#L209" rel="noreferrer">здесь). Вы можете открыть проблему в репозитории GitHub или ошибку Connect.

person Eli Arbel    schedule 04.08.2016
comment
Я думаю, вы правы. Вызов Attribute.GetCustomAttribute(typeof(C).GetMethod("M").ReturnParameter, typeof(MyMarkAttribute)) также сталкивается с ошибкой. Если вы правы, эта ошибка появилась в .NET 2.0 (более десяти лет назад, во времена Visual Studio 2005), то можно найти отчеты об ошибках. - person Jeppe Stig Nielsen; 04.08.2016
comment
Я так и был - я проверил mscorlib .NET 2.0 в ILSpy :) Использование атрибутов возвращаемого значения довольно редко (в основном встречается в P/Invoke и COM-взаимодействии), поэтому, вероятно, не так уж много людей столкнулись с этой ошибкой. - person Eli Arbel; 04.08.2016
comment
Теперь я открыл задачу в GitHub, как вы предложили, см. coreclr/issues/6600 там . - person Jeppe Stig Nielsen; 04.08.2016
comment
Кстати, они принимают PR сообщества, поэтому вы можете исправить это самостоятельно и отправить на рассмотрение. Не забудьте также добавить тест, если вы это сделаете. - person Eli Arbel; 04.08.2016