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


Функция List.exists<'T> (F#)

Проверяет, удовлетворяет ли какой-либо элемент списка заданному предикату.

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

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

// Signature:
List.exists : ('T -> bool) -> 'T list -> bool

// Usage:
List.exists predicate list

Параметры

  • predicate
    Тип: 'T -> bool

    Функция для проверки входных элементов.

  • list
    Тип: 'T list

    Входной список.

Возвращаемое значение

Значение true, если какой-либо элемент удовлетворяет предикату. В противном случае возвращает значение false.

Заметки

Предикат применяется к элементам входного списка. Если какое-либо приложение возвращает значение true, для окончательного результата также устанавливается значение true и последующие элементы не проверяются.

В скомпилированных сборках имя этой функции — Exists. При обращении к функции из языка, отличного от F#, или посредством отражения следует использовать это имя.

Пример

В следующем коде демонстрируется использование List.exists чтобы определить, данный элемент существует ли в списке.

// Use List.exists to determine whether there is an element of a list satisfies a given Boolean expression.
// containsNumber returns true if any of the elements of the supplied list match 
// the supplied number.
let containsNumber number list = List.exists (fun elem -> elem = number) list
let list0to3 = [0 .. 3]
printfn "For list %A, contains zero is %b" list0to3 (containsNumber 0 list0to3)

Output

  

Платформы

Windows 7, Windows Vista с пакетом обновления 2 (SP2), Windows XP с пакетом обновления 3 (SP3), Windows XP x64 с пакетом обновления 2 (SP2), Windows Server 2008 R2, Windows Server 2008 с пакетом обновления 2 (SP2), Windows Server 2003 с пакетом обновления 2 (SP2)

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

Среда выполнения F#

Поддерживается в версиях 2.0, 4.0

Silverlight

Поддерживается в версии 3

См. также

Ссылки

Модуль Collections.List (F#)

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

Журнал изменений

Дата

Журнал

Причина

Май 2010

Добавлен пример кода.

Улучшение информации.