Solidity의 불변 변수와 상수는 무엇이며 어떻게 가스를 절약합니까?

Solidity의 불변 변수 이해

1. Solidity의 불변 변수는 immutable 키워드를 사용하여 선언되며 계약 생성 중에 한 번만 할당할 수 있습니다. 일단 설정되면 계약 수명 주기 동안 해당 값을 변경할 수 없습니다.

2. 이러한 변수는 배포 시 확인되므로 컴파일러는 일반 상태 변수에 사용되는 저장소 슬롯이 아닌 계약의 메타데이터에 변수를 배치하여 저장소를 최적화할 수 있습니다.

3. 불변 변수는 가변 저장소를 차지하지 않기 때문에 배포 후 이더리움에서 가장 비싼 opcode 중 하나인 SSTORE 작업이 필요하지 않습니다.

4. 불변 변수의 값은 일반적으로 생성자 내에서 할당되므로 배포 시 알려지지만 동일한 계약의 인스턴스 간에 달라지는 매개변수에 이상적입니다.

5. 불변 변수를 사용하면 의도를 알림으로써 코드 명확성이 향상됩니다. 개발자는 특정 값이 배포 후에 고정되어 있음을 알고 의도하지 않은 수정의 위험을 줄입니다.

가스 최적화에서 상수의 역할

1. 상수는 상수 키워드를 사용하여 정의되며 선언 시 값을 할당해야 합니다. 해당 값은 컴파일 중에 바이트코드에 하드코딩됩니다.

2. 상수 값은 EVM 명령어에 직접 포함되므로 이를 읽는 데 스토리지 액세스 비용이 발생하지 않습니다. 즉, 해당 값을 검색할 때 SLOAD 작업이 수행되지 않습니다.

3. 상수를 사용하는 모든 함수에는 해당 값이 인라인되어 컴파일 타임에 변수 참조를 해당 리터럴 값으로 효과적으로 대체합니다.

4. 이 인라인 동작은 실행 가스와 계약 크기를 모두 줄입니다. 이러한 값에 대해 영구 저장소를 할당하거나 참조할 필요가 없기 때문입니다.

5. 상수는 계산에 사용되는 프로토콜 매개변수나 수학적 계수와 같이 모든 배포에서 실제로 정적인 값에 가장 적합합니다.

불변성과 상수의 차이점

1. 둘 다 런타임 저장 비용을 피하여 가스를 절약하지만 상수는 컴파일 타임에 해당 값을 알아야 하지만 불변 변수는 생성 중에 할당을 허용합니다.

2. 상수는 입력이나 외부 상태에 의존할 수 없습니다. 숫자, 문자열 또는 상수 입력이 포함된 순수 함수 호출의 결과와 같은 컴파일 타임 상수 표현식이어야 합니다.

3. 불변 변수는 더 많은 유연성을 제공합니다. 생성자 인수를 사용하여 다양한 계약 인스턴스가 다른 값을 가질 수 있도록 하면서 런타임 비용 절감의 이점을 누릴 수 있습니다.

4. 가스 사용 관점에서 상수는 일반적으로 배포 전에 해당 값이 완전히 확인되므로 약간 더 나은 최적화를 제공하는 반면, 불변은 생성 중 일회성 초기화를 포함합니다.

5. 자주 변경되는 값을 불변으로 선언하는 등 두 유형 중 하나를 잘못 사용하면 디자인이 유연하지 않게 될 수 있으므로 적절한 사용 사례 정렬이 필수적입니다.

가스 절약 메커니즘 설명

1. SLOAD를 사용하여 EVM 저장소에서 읽을 때마다 최소 2100가스를 소비하는 반면, 코드 공간(상수 등)에 저장된 값에 액세스하는 데 드는 비용은 0에 가깝습니다.

2. SSTORE를 사용하여 스토리지에 쓰는 것은 훨씬 더 비쌉니다. 첫 번째 쓰기 시 최대 20,000가스, 후속 업데이트 시 최대 5,000가스 비용이 발생합니다. 불변은 생성 후 이 비용을 완전히 방지합니다.

3. 데이터를 스토리지에서 코드 또는 생성자 초기화 메모리 영역으로 이동함으로써 상수와 불변 항목 모두 스마트 계약의 운영 공간을 줄입니다.

4. 수수료 비율, 주소 허용 목록, 토큰 한도 등 구성 값에 크게 의존하는 계약은 상수 또는 불변 값으로 선언하면 상당한 이점을 얻을 수 있습니다.

5. 컴파일러 최적화는 이러한 선언을 활용하여 중복 작업을 최소화하고 불필요한 검사를 제거하며 더 간결한 바이트코드를 생성하여 효율성을 더욱 향상시킵니다.

자주 묻는 질문

생성자가 실행된 후 불변 변수를 변경할 수 있나요? 아니요. 불변 변수가 생성자에 설정되면 수정할 수 없습니다. 이를 다시 할당하려고 시도하면 컴파일 오류가 발생합니다.

상수로 선언할 수 있는 유형에 제한이 있나요? 예. uint, int, bool, 주소 및 문자열 리터럴(일부 제한 있음)과 같은 값 유형만 상수일 수 있습니다. 배열 및 구조체는 인라인 어셈블리에 있거나 최신 컴파일러 버전에서 처리되는 특별한 경우가 아니면 상수로 선언될 수 없습니다.

불변 변수가 배포 가스 비용을 증가시키나요? 생성자 논리로 인해 배포 비용이 약간 증가할 수 있지만 이는 상호 작용 중 장기적인 비용 절감으로 상쇄됩니다. 여러 트랜잭션에 대한 순 효과는 일반적으로 총 가스 지출이 크게 감소하는 것입니다.

생성자 외부에서 불변 변수를 할당하려고 하면 어떻게 되나요? Solidity 컴파일러에서 오류가 발생합니다. 불변 변수의 할당은 생성자 컨텍스트에만 국한되어 무결성과 예측 가능성을 보장합니다.