Класс Core.ComparisonConditionalOnAttribute (F#)

Статья
02/20/2013

Указывает, что универсальный тип удовлетворяет ограничению сравнения, только если аргумент типа удовлетворяет этому ограничению.

Пространство имен/путь к модулю: Microsoft.FSharp.Core

Сборка: FSharp.Core (в FSharp.Core.dll)

[<AttributeUsage(AttributeTargets.GenericParameter, AllowMultiple = false)>]
[<Sealed>]
type ComparisonConditionalOnAttribute =
 class
  new ComparisonConditionalOnAttribute : unit -> ComparisonConditionalOnAttribute
 end

Заметки

Данный атрибут используется для обозначения типа универсального контейнера и удовлетворяет ограничению сравнения F# только в том случае, если универсальный аргумент также удовлетворяет этому ограничению.Например, добавление этого атрибута к параметру 'T при определении типа C<'T> означает, что тип C<X> поддерживает сравнение, только если тип X также поддерживает сравнение и все остальные условия поддержки сравнения C<X> также соблюдены.Тип C<'T> можно использовать и с другими аргументами типов, но такой тип, как C<(int -> int)>, не будет поддерживать сравнение, поскольку тип (int -> int) представляет собой тип функции F# и не поддерживает сравнение.

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

Можно также использовать краткую форму имени, ComparisonConditionalOn.

Конструкторы

Элемент	Описание
new;	Создает экземпляр атрибута.

Платформы

Windows 8, Windows 7, Windows Server 2012, Windows 2008 Server R2

Сведения о версии

Основной версии библиотеки F#

Поддерживается в: 2.0, 4.0, портативное

См. также

Ссылки

Пространство имен Microsoft.FSharp.Core (F#)

Поделиться через