Блог

Два вопроса, касающиеся новой функции записей :

1. Как мне распознать запись с помощью отражения? глядя [здесь] [1] может быть, есть способ обнаружить EqualityContract , но я не уверен, что это правильный путь?

2. Возможно ли иметь общее ограничение, что общий тип является записью? то есть, возможно ли указать, что параметр типа T должен быть классом записи с использованием ограничения?

1. Как мне распознать запись с помощью отражения?

Если вы попробуете классы записей в sharplab.io , вы увидите, что классы записей — это обычные классы, которые реализуют IEquatable<T> интерфейс и содержат дополнительные элементы, которые используются для сравнения и клонирования экземпляров класса записей. Нет специальных атрибутов, которые указывают, что класс является record class .

Итак, я предполагаю, что нет способа определить, является ли класс классом записи с использованием отражения.

глядя сюда, может быть, есть способ обнаружить EqualityContract , но я не уверен, что это правильный путь?

С помощью отражения можно определить, обладает ли класс таким свойством, но это не является 100% гарантией того, что класс с таким свойством является классом записей.

2. Возможно ли иметь общее ограничение, что общий тип является записью? то есть, возможно ли указать, что параметр типа T должен быть классом записи с использованием ограничения?

Это невозможно.

1. Страница предложения записей не содержит никакой информации об указании того, что параметр общего типа T должен быть классом записи.
2. Если вы прочитаете обсуждение под этим комментарием на Champion records странице, вы узнаете, что нет способа указать что-то вроде where T : record в C# 9 . Кроме того, планируется устранить любое значимое семантическое различие между записью и классом в C# 10 . Так что такие функции записей, как with , будут доступны и для классов. Добавление record ограничения сделает эту цель недостижимой.

Как упоминалось всеми остальными, невозможно написать

 private void MyFunc<T>(T t) where T : record {...}
  

Однако вы можете создать запись, от которой затем наследуются все типы записей, которые вы создаете. Это в значительной степени достигнет того, о чем вы просите, хотя я не знаю, как я к этому отношусь…

 public abstract record RecordMarker;
public record MyRecord : RecordMarker;
public void MyFunc<T>(T t) where T : RecordMarker
{
}
  

При этом вы можете передавать только типы записей, поскольку классы не могут наследовать от записей.

 MyFunc(new MyRecord()); // Works
MyFunc(new MyClass());  // Compiler Error
  

В качестве «взлома» все записи имеют синтезированный метод <Clone>$ , который вы можете искать. Поскольку вы не можете написать метод с таким именем в C #, класс с <Clone>$ членом гарантированно будет записан начиная с C # 9.

Однако нет гарантии, что это будет продолжаться. Например, возможно, что в C # 10.0 некоторые записи не будут иметь <Clone>$ элемента или что некоторые не-записи будут.

 public static bool IsRecord(Type type) => type.GetMethod("<Clone>$") != null;
  

Как мне распознать запись с помощью отражения?

Как указано здесь и здесь

Не только нет официального способа сделать это, это явно противоречит дизайну функции. Цель для записей заключается в том, что, надеюсь, с C # 10 мы достигнем точки, когда создание записи класса a будет чисто удобным выбором, и что любая другая часть функции будет достижима с помощью некоторой формы синтаксиса. Изменение типа из записи в класс не должно быть критическим изменением, и мы даже предполагаем, что рефакторинг IDE может автоматически перемещать тип в синтаксис записи и из него без уведомления клиентов. В C # 9 есть некоторые места, где мы не совсем достигли этого, но это цель.

Несмотря на вышесказанное, все еще существуют сценарии, в которых проверка записи полезна. Некоторые хакерские способы обнаружения записей, которые работают ATM, следующие:

1. проверьте, существует ли EqualityContract свойство с CompilerGenerated атрибутом

 isRecord = ((TypeInfo)t).DeclaredProperties.Where(x => x.Name == "EqualityContract").FirstOrDefault()?.GetMethod?.GetCustomAttribute(typeof(CompilerGeneratedAttribute)) is object;
  

2. проверьте наличие <Clone>$ участника, как указано @Yair Halberstadt

 isRecord = t.GetMethod("<Clone>$") is object;
  

или комбинация обоих

Возможно ли иметь общее ограничение, что общий тип является записью?

НЕТ

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

Одним из вариантов было бы создать пустой базовый класс записи маркера или интерфейс, даже если он пуст, и добавить к нему ограничение. Это позволит достичь требуемого ограничения.

При условии, что вы наследуете от этих классов все классы, которые вы хотите включить в ограничение, тогда это будет работать нормально.

 isRecord = t.GetMethod("<Clone>$") is object; ==> isRecord = t.GetMethod("<Clone>$") is not null;