본문으로 건너뛰기
토파즈6.0 · 출시 전
다운로드 →

문서 검색

명세 6.0

방향키로 결과를 고르고 Enter를 눌러 여세요.

API 이름, 진단 번호, 규칙 또는 프로젝트 주제를 입력하세요.

    라이브러리 · std.regex

    Regex.isMatch

    Reports whether a leftmost-first search finds a match anywhere in the input.

    isMatch(text: string) -> bool
    수신자
    Regex
    최소 인자 수
    1
    최대 인자 수
    1

    Declaration and parameters

    링크

    사용 조건

    기본 포함 · 미정

    Import std.regex in language mode 5.21.

    The current compiler selects std/regex.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

    수신자

    Regex

    매개변수 제약

    추가 계약은 미정입니다.

    Regex.isMatch reports whether a match exists anywhere in the input. Regex.find returns Some containing the first match or None() when no match exists. Regex.findAll returns every nonoverlapping match in search order and returns an empty array when no match exists.

    Search begins at the earliest Unicode scalar boundary that permits the complete pattern to match. At that position alternatives are tried in pattern order. Greedy repetitions prefer more scalars and lazy repetitions prefer fewer scalars while still allowing the rest of the pattern to match.

    After a nonempty match, findAll resumes at its exclusive end. After an empty match, it resumes at the next Unicode scalar boundary. An empty match directly at the end of the preceding nonempty match is skipped and search advances to the next scalar boundary.

    An empty pattern visits every scalar boundary, including both ends. The empty input has one boundary and produces one empty match for an empty pattern. Matching never splits the UTF-8 bytes of a scalar.

    Regex.split and Regex.replaceAll use the same ordered match sequence as findAll. Repeated calls start a new search and do not retain a cursor. The input string and compiled pattern are unchanged.

    The receiver is evaluated once before the positional arguments, which are evaluated once from left to right. Search does not invoke user callbacks or access external state. No match is an ordinary result and does not produce a diagnostic.

    관련 규칙 · Search from the left and advance through nonoverlapping matches →

    결과

    추가 계약은 미정입니다.

    The declared result type is bool.

    효과

    미정

    실패

    미정

    Result and effects

    링크

    Reports whether a leftmost-first search finds a match anywhere in the input.

    Resolved contracts

    링크

    Related entries

    링크

    std.regex →

    링크
    규칙topaz.stdlib.contract.regex-search.rule

    Search from the left and advance through nonoverlapping matches

    Regex.isMatch reports whether a match exists anywhere in the input. Regex.find returns Some containing the first match or None() when no match exists. Regex.findAll returns every nonoverlapping match in search order and returns an empty array when no match exists.

    Search begins at the earliest Unicode scalar boundary that permits the complete pattern to match. At that position alternatives are tried in pattern order. Greedy repetitions prefer more scalars and lazy repetitions prefer fewer scalars while still allowing the rest of the pattern to match.

    After a nonempty match, findAll resumes at its exclusive end. After an empty match, it resumes at the next Unicode scalar boundary. An empty match directly at the end of the preceding nonempty match is skipped and search advances to the next scalar boundary.

    An empty pattern visits every scalar boundary, including both ends. The empty input has one boundary and produces one empty match for an empty pattern. Matching never splits the UTF-8 bytes of a scalar.

    Regex.split and Regex.replaceAll use the same ordered match sequence as findAll. Repeated calls start a new search and do not retain a cursor. The input string and compiled pattern are unchanged.

    The receiver is evaluated once before the positional arguments, which are evaluated once from left to right. Search does not invoke user callbacks or access external state. No match is an ordinary result and does not produce a diagnostic.

    이유

    One ordered match sequence makes searching, splitting, and replacement agree. Advancing after an empty match ensures progress without splitting a Unicode scalar. Boolean search is distinct from extracting Match data and does not introduce regex membership through the in operator.

    예제 Choose the first successful alternative at the leftmost position →Choose a group alternative that allows the complete pattern to match →Return nonoverlapping matches in input order →Visit each boundary for an empty pattern and the empty input →Skip an empty match directly after a nonempty match →Return no match after scanning a longer valid input →

    Choose the first successful alternative at the leftmost position

    링크

    run · running · 검증 · 미실행

    main.tpzChoose the first successful alternative at the leftmost position플레이그라운드 열기 →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("a|ab")) {
    5. case Ok(pattern) => {
    6. match (pattern.find("zab")) {
    7. case Some(found) => io.writeLine("{found.start}:{found.end}:{found.text}")
    8. case None() => io.writeLine("no match")
    9. }
    10. let present = pattern.isMatch("zab")
    11. let absent = pattern.isMatch("zzz")
    12. io.writeLine("{present}:{absent}")
    13. match (pattern.find("zzz")) {
    14. case None() => io.writeLine("none")
    15. case Some(_) => io.writeLine("present")
    16. }
    17. let matches = pattern.findAll("zzz")
    18. io.writeLine("{matches.length}")
    19. }
    20. case Err(_) => io.writeLine("compile failed")
    21. }
    기대 출력종료 코드 0
    1:2:a
true:false
none
0
    $ topaz run main.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. 1:2:a
    2. true:false
    3. none
    4. 0

    이 예제는 아직 실행하지 않았습니다.

    Choose a group alternative that allows the complete pattern to match

    링크

    run · running · 검증 · 미실행

    main.tpzChoose a group alternative that allows the complete pattern to match플레이그라운드 열기 →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("(a|ab)c")) {
    5. case Ok(pattern) => {
    6. match (pattern.find("abc")) {
    7. case Some(found) => io.writeLine(found.text)
    8. case None() => io.writeLine("no match")
    9. }
    10. }
    11. case Err(_) => io.writeLine("compile failed")
    12. }
    기대 출력종료 코드 0
    abc
    $ topaz run main.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. abc

    이 예제는 아직 실행하지 않았습니다.

    Return nonoverlapping matches in input order

    링크

    run · running · 검증 · 미실행

    main.tpzReturn nonoverlapping matches in input order플레이그라운드 열기 →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("aa")) {
    5. case Ok(pattern) => {
    6. for found in (pattern.findAll("aaaaa")) {
    7. io.writeLine("{found.start}:{found.end}:{found.text}")
    8. }
    9. }
    10. case Err(_) => io.writeLine("compile failed")
    11. }
    기대 출력종료 코드 0
    0:2:aa
2:4:aa
    $ topaz run main.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. 0:2:aa
    2. 2:4:aa

    이 예제는 아직 실행하지 않았습니다.

    Visit each boundary for an empty pattern and the empty input

    링크

    run · running · 검증 · 미실행

    main.tpzVisit each boundary for an empty pattern and the empty input플레이그라운드 열기 →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("")) {
    5. case Ok(pattern) => {
    6. for found in (pattern.findAll("ab")) {
    7. io.writeLine("{found.start}:{found.end}")
    8. }
    9. io.writeLine("empty input")
    10. for found in (pattern.findAll("")) {
    11. io.writeLine("{found.start}:{found.end}")
    12. }
    13. }
    14. case Err(_) => io.writeLine("compile failed")
    15. }
    기대 출력종료 코드 0
    0:0
1:1
2:2
empty input
0:0
    $ topaz run main.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. 0:0
    2. 1:1
    3. 2:2
    4. empty input
    5. 0:0

    이 예제는 아직 실행하지 않았습니다.

    Skip an empty match directly after a nonempty match

    링크

    run · running · 검증 · 미실행

    main.tpzSkip an empty match directly after a nonempty match플레이그라운드 열기 →
    1. import std.regex { Regex }
    2. import std.io
    4. match (Regex.compile("a*")) {
    5. case Ok(pattern) => {
    6. for found in (pattern.findAll("ab")) {
    7. io.writeLine("{found.start}:{found.end}:{found.text}")
    8. }
    9. }
    10. case Err(_) => io.writeLine("compile failed")
    11. }
    기대 출력종료 코드 0
    0:1:a
2:2:
    $ topaz run main.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. 0:1:a
    2. 2:2:

    이 예제는 아직 실행하지 않았습니다.

    Return no match after scanning a longer valid input

    링크

    run · running · 검증 · 미실행

    main.tpzReturn no match after scanning a longer valid input플레이그라운드 열기 →
    1. import std.regex { Regex }
    2. import std.io
    4. let mut text = "a"
    5. for step in (0 .. 17) {
    6. text = text + text
    7. }
    8. match (Regex.compile("z")) {
    9. case Ok(pattern) => io.writeLine("{pattern.isMatch(text)}")
    10. case Err(_) => io.writeLine("compile failed")
    11. }
    기대 출력종료 코드 0
    false
    $ topaz run main.tpz · 대상 제품 5.21.3
    기대 결과

    기대 결과

    실행을 마칩니다. 종료 코드 0.

    표준 오류 출력 없음.

    기대 표준 출력
    1. false

    이 예제는 아직 실행하지 않았습니다.

    메뉴

    다운로드 →