Type-Safe 언어

Type-Safe 언어는 변수나 객체가 예상치 못한 데이터 타입에 의해 변형되거나 오용되는 것을 방지합니다. C#은 이러한 타입 안전성을 강조하는 언어입니다. 이를 통해 프로그래머의 실수나 예기치 않은 동작으로부터 보호받을 수 있습니다.

다음은 C#에서의 타입 안전성과 관련된 예제입니다:

 

public void ShowTypeSafety()
{
    int number = 100;

    // 컴파일 에러 발생! string과 int 간에 직접적인 할당이 허용되지 않습니다.
    // string text = number;  

    // 올바른 방법: 명시적으로 형 변환을 해야 합니다.
    string text = number.ToString();

    Console.WriteLine(text); // "100" 출력

    // 다른 데이터 타입으로의 변환도 마찬가지입니다.
    double myDouble = 123.45;
    int myInt;

    // 컴파일 에러 발생! double에서 int로의 무작위 형 변환이 허용되지 않습니다.
    // myInt = myDouble;  

    // 올바른 방법: 명시적 형 변환을 사용합니다.
    myInt = (int)myDouble;

    Console.WriteLine(myInt); // 123 출력 (소수점 이하 절삭)
}

이 예제에서 string 타입 변수에 int 타입 값을 할당하거나, double 값을 int에 할당하려 할 때 컴파일러는 에러를 발생시킵니다. 이는 C#이 타입 안전성을 지키기 위한 것입니다. 이러한 특징 덕분에 잠재적인 버그나 문제를 미리 예방할 수 있습니다.