다음을 통해 공유

구조

구조체는 적은 양의 데이터와 간단한 동작이 있는 형식의 클래스보다 더 효율적일 수 있는 컴팩트 개체 형식입니다.

문법

[ attributes ]
type [accessibility-modifier] type-name =
    struct
        type-definition-elements-and-members
    end
// or
[ attributes ]
[<StructAttribute>]
type [accessibility-modifier] type-name =
    type-definition-elements-and-members

비고

구조체는 값 형식입니다. 즉, 스택에 직접 저장되거나 필드 또는 배열 요소로 사용될 때 부모 형식에서 인라인으로 저장됩니다. 클래스 및 레코드와 달리 구조체에는 값별 전달 의미 체계가 있습니다. 즉, 주로 자주 액세스하고 복사되는 작은 데이터 집계에 유용합니다.

이전 구문에서는 두 가지 양식이 표시됩니다. 첫 번째 구문은 간단한 구문이 아니지만, 두 번째 폼에 나타나는 특성과 end 키워드를 사용할 struct 때 생략 StructAttribute 할 수 있으므로 자주 사용됩니다. 약어로만 Struct사용할 StructAttribute 수 있습니다.

이전 구문의 type-definition-elements-and-members 는 멤버 선언 및 정의를 나타냅니다. 구조체에는 생성자와 변경 가능하고 변경할 수 없는 필드가 있을 수 있으며 멤버 및 인터페이스 구현을 선언할 수 있습니다. 자세한 내용은 멤버를 참조 하세요.

구조체는 상속에 참여할 수 없고, 포함 let 하거나 do 바인딩할 수 없으며, 고유한 형식의 필드를 재귀적으로 포함할 수 없습니다(자체 형식을 참조하는 참조 셀을 포함할 수 있지만).

구조체는 바인딩을 허용하지 let 않으므로 키워드를 사용하여 val 구조체에서 필드를 선언해야 합니다. 키워드는 val 필드와 해당 형식을 정의하지만 초기화를 허용하지 않습니다. 대신 val 선언이 0 또는 null로 초기화됩니다. 이러한 이유로 암시적 생성자가 있는 구조체(즉, 선언의 구조 이름 바로 다음에 지정된 매개 변수)는 선언에 특성으로 주석을 DefaultValue 추가해야 합니다val. 정의된 생성자가 있는 구조체는 여전히 0 초기화를 지원합니다. 따라서 DefaultValue 특성은 이러한 0 값이 필드에 유효하다는 선언입니다. 형식에 바인딩이 do 허용되지 않으므로 구조체에 대한 암시적 생성자는 작업을 let 수행하지 않지만 전달된 암시적 생성자 매개 변수 값은 프라이빗 필드로 사용할 수 있습니다.

명시적 생성자에는 필드 값의 초기화가 포함될 수 있습니다. 명시적 생성자가 있는 구조체가 있는 경우에도 초기화가 0으로 지원됩니다. 그러나 명시적 생성자와 충돌하기 때문에 선언에 val 특성을 사용하지 DefaultValue 않습니다. 선언에 대한 val 자세한 내용은 명시적 필드: 키 val 워드를 참조하세요.

특성 및 접근성 한정자는 구조체에서 허용되며 다른 형식의 특성과 동일한 규칙을 따릅니다. 자세한 내용은 특성 및 액세스 제어를 참조하세요.

다음 코드 예제에서는 구조 정의를 보여 줍니다.

// In Point3D, three immutable values are defined.
// x, y, and z will be initialized to 0.0.
type Point3D =
    struct
        val x: float
        val y: float
        val z: float
    end

// In Point2D, two immutable values are defined.
// It also has a member which computes a distance between itself and another Point2D.
// Point2D has an explicit constructor.
// You can create zero-initialized instances of Point2D, or you can
// pass in arguments to initialize the values.
type Point2D =
    struct
        val X: float
        val Y: float
        new(x: float, y: float) = { X = x; Y = y }

        member this.GetDistanceFrom(p: Point2D) =
            let dX = (p.X - this.X) ** 2.0
            let dY = (p.Y - this.Y) ** 2.0

            dX + dY |> sqrt
    end

ByRefLike 구조체

유사 의미 체계를 준수할 수 있는 고유한 구조체를 정의할 byref수 있습니다. 자세한 내용은 Byrefs 를 참조하세요. 이 작업은 IsByRefLikeAttribute 특성으로 수행됩니다.

open System
open System.Runtime.CompilerServices

[<IsByRefLike; Struct>]
type S(count1: Span<int>, count2: Span<int>) =
    member x.Count1 = count1
    member x.Count2 = count2

IsByRefLike Struct의미하지는 않습니다. 둘 다 타입에 있어야 합니다.

F#의 "byref-like" 구조체는 스택 바인딩된 값 형식입니다. 관리되는 힙에는 할당되지 않습니다. byref과 유사한 구조체는 수명 및 비캡처에 대한 강력한 검사가 강제되므로, 고성능 프로그래밍에 유용합니다. 규칙은 다음과 같습니다.

  • 함수 매개 변수, 메서드 매개 변수, 지역 변수, 메서드 반환으로 사용할 수 있습니다.
  • 클래스 또는 일반 구조체의 정적 또는 인스턴스 멤버일 수 없습니다.
  • 클로저 구문(async 메서드 또는 람다 식)으로 캡처할 수 없습니다.
  • 제네릭 매개 변수로 사용할 수 없습니다.

이러한 규칙은 사용량을 매우 강력하게 제한하지만 안전한 방식으로 고성능 컴퓨팅의 약속을 이행합니다.

ReadOnly 구조체

특성으로 구조체에 주석을 IsReadOnlyAttribute 달 수 있습니다. 다음은 그 예입니다.

[<IsReadOnly; Struct>]
type S(count1: int, count2: int) =
    member x.Count1 = count1
    member x.Count2 = count2

IsReadOnly Struct의미하지는 않습니다. 구조체를 가지 IsReadOnly 려면 둘 다 추가해야 합니다.

이 특성을 사용하면 F# 및 C#에서 각각 처리할 inref<'T>in ref수 있는 메타데이터를 내보낸다.

읽기 전용 구조체 내에서 변경 가능한 값을 정의하면 오류가 발생합니다.

구조체 레코드 및 차별된 공용 구조체

레코드 및 구분된 공용 구조체를 특성이 있는 구조체로 나타낼 수 있습니다[<Struct>]. 자세한 내용은 각 문서를 참조하세요.

참고하십시오

  • Last updated on