스터디) 두번째 스터디 피드백 및 질문 정리내용

sealed 키워드를 메소드에 사용!

• 부모클래스에서 오작동을 하게끔 하는 자원을 자식클래스에서 건드리면 안되는 경우
  • 메소드에 sealed 한정자를 사용해서 제한할 수 있다.

class Parent
{
    public int num;
    public int count;

    public Parent(int num)
    {
        this.num = num;
        this.count = 0;
        Console.WriteLine("Parent 생성자");
    }

    public virtual void addCount() { }
    public void showInfo()
    {
        Console.WriteLine("Num : {0}, Count : {1}", this.num, this.count);
    }
}

class Counter : Parent
{
    public Counter(int num) : base(num)
    {
        Console.WriteLine("Counter 생성자");
    }

    public sealed override void addCount()
    {
        base.count++;
    }
}

class Calculator : Counter
{
    public Calculator(int num) : base(num)
    {
        Console.WriteLine("Calculator 생성자");
    }

    public void add()
    {
        Console.WriteLine("더하기 1");
        this.num++;
        base.addCount();
    }
    public void sub()
    {
        Console.WriteLine("빼기 1");
        this.num--;
        base.addCount();
    }
}

class Program
{
    static void Main(string[] args)
    {
        Parent ncc = new Calculator(10);
        ncc.showInfo();

        Calculator c = (Calculator)ncc;
        c.add();
        c.add();

        c.sub();
        c.sub();
        c.sub();

        c.showInfo();
    }
}

Output

Parent 생성자
Counter 생성자
Calculator 생성자
Num : 10, Count : 0
더하기 1
더하기 1
빼기 1
빼기 1
빼기 1
Num : 9, Count : 5

• 최상위 클래스에서 virtual로 정의된 메서드를 상속받는 클래스에서 sealed한정자와 override로 선언하게되면 그 클래스를 상속받는 클래스에서는 해당 메서드를 재정의 할 수 없다.
  • 파생 클래스에서 오버라이드 할 수 없다.
  • sealed 메서드는 꼭 override앞에서만 사용할 수 있다.
  • sealed를 쓰면 상속을 줄 수 없으므로 하위 클래스에서 재정의 불가능

형변환

• as, () => 기본 자료형으로 변환했을 경우에는 ? + is

C# 기본 자료형 분류

구분	설명
정수 표현	byte, shortm int, long
실수 표현	float, double
문자 표현	char
참, 거짓 표현	boolean

class Human
{
    public void showInfo()
    {
        Console.WriteLine("Human");
    }
}

class Programmer : Human
{
    public void programming()
    {
        Console.WriteLine("개발자");
    }
}

class Program
{
    static void Main(string[] args)
    {

        Human human = new Programmer();
        // as 연산자를 이용해 기본 자료형으로 형변환

        var aa = human as Programmer;

        if (aa is null) return;

        int? a = human as int;
        var result = human is int; // false
        // as 연산자는 참조 형식 또는 null 허용 형식과 함께 사용해야 합니다. 'int'은(는) null을 허용하지 않는 값 형식입니다.

        string? str = human as string;
        // 참조 변환, boxing 변환, unboxing 변환, 래핑 변환 또는 null 형식 변환을 통해 'AsisEx.Human' 형식을 'string'(으)로 변환할 수 없습니다.
        // =>`as`연산자를 사용한 변환은 상속, 참조 변환 및 boxing 변환에서 허용

        int x = (int)human;
        // => 'Human' 형식을 'int' 형식으로 변환할 수 없습니다.    
        // double y = (double)human; // => 'Human' 형식을 'double' 형식으로 변환할 수 없습니다.
        // string str2 = (string)human; // => 'Human' 형식을 'string' 형식으로 변환할 수 없습니다.

        Console.WriteLine(human is int);
        Console.WriteLine(human is double);
        Console.WriteLine(human is string);
    }
}

Output

False
False
False

• 참조형은 기본자료형으로 변환이 불가능하다.(as 및 강제형변환 둘다 안됨(()사용)) => C# 자체에서 막고 있음
• is를 사용하는것은 형변환이 아닌 bool 타입의 반환 값을 통해 체크를 하는것이기에 사용가능
• string의 경우 참조형이지만 기본자료형처럼 C#에서 막고있는듯함.

초기화된 객체와 초기화되지 않은 객체를 임의의 메소드에 매개변수로 넘겼을 때 동작확인

class MyField
{
    public int field1;
    public int field2;
}

class AssignRefType
{
    static void Main(string[] args)
    {
        MyField? mf1 = null;
        MyField mf2 = new MyField() { field1 = 1, field2 = 2 };

        Test(mf1);
        Test(mf2);

        //Console.WriteLine("mf1 => field1 : {0} field2 : {1} ", mf1.field1, mf1.field2); => error
        //Console.WriteLine("mf2 => field1 : {0} field2 : {1} ", mf2.field1, mf2.field2);

        TestRef(ref mf1);
        TestRef(ref mf2);

        Console.WriteLine("mf1 => field1 : {0} field2 : {1} ", mf1.field1, mf1.field2);
        Console.WriteLine("mf2 => field1 : {0} field2 : {1} ", mf2.field1, mf2.field2);
    }

    private static void Test(MyField param)
    {
        if (param is null) param = new MyField();

        param.field1 = 3;
        param.field2 = 4;
    }

    private static void TestRef(ref MyField param)
    {
        if (param is null) param = new MyField();

        param.field1 = 3;
        param.field2 = 4;
    }
}

Output

mf1 => field1 : 3 field2 : 4
mf2 => field1 : 3 field2 : 4

• mf1의 경우 stack메모리에서 null을 가지고 heap에 메모리가 할당되어있지 않다. C#은 기본적으로 Call by Value이기 때문에 null을 메소드로 넘겨주게 되고 지역인스턴스로 활용되던 param이 내부에서만 로직을 수행하고 후에 인스턴스가 삭제되기 때문에 결국 mf1은 그대로 null을 가지게 된다.

다형성 확인 예제 추가

class A{
    public virtual void Print1()
    {
        Console.WriteLine("A : Print1");
    }

    public void Print2()
    {
        Console.WriteLine("A : Print2");
    }
}

class A1 : A
{
    public override void Print1()
    {
        Console.WriteLine("A1 : Print1");
    }

    public void Print2()
    {
        Console.WriteLine("A1 : Print2");
    }
}

class A2 : A
{
    public override void Print1()
    {
        Console.WriteLine("A2 : Print1");
    }

    public void Print2()
    {
        Console.WriteLine("A2 : Print2");
    }
}

class A3 : A
{
    public override void Print1()
    {
        Console.WriteLine("A3 : Print1");
    }

    public void Print2()
    {
        Console.WriteLine("A3 : Print2");
    }
}

class App
{
    static void Main(string[] args)
    {
        A[] arr = new A[]
        {
            new A1(),
            new A2(),
            new A3()
        };

        foreach (var a in arr)
        {
            a.Print1();
            a.Print2();
        }

    }
}

Output

A1 : Print1
A : Print2
A2 : Print1
A : Print2
A3 : Print1
A : Print2

• A의 자료형으로 A1, A2, A3 인스턴스를 생성했을때 A에서는 자식 클래스의 메소드를 참조할 수 없으나, override 키워드를 이용해서 재정의 된 메소드의 경우 자식메소드의 결과로 출력이 된다.
• 즉 override에 의해 재정의된 메소드는 부모클래스형의 인스턴스를 자식클래스형의 인스턴스로 선언했을때 재정의된 형태로 사용이 가능하다.

struct의 크기가 일정크기를 넘어가면 value type이 아닌 ref type => Stack Overflow

메모리절약은 클래스, 속도는 구조체

• 인스턴스한다면 가비지 컬렉션(속도)
  • 구조체는 스택에 바로 할당되기 때문에 가바지컬렉션이 발생 하지 않음
  • 클래스는 인스턴스를 생성할 때 마다 힙에 메모리 할당하기 때문에 값을 폐기하기 위해서는 가바지컬렉션이 필요.

• 많은 양의 변수를 가지고 있는 구조체는 NO(메모리)
  • 참조형식인 클래스는 값들을 가리키는 주소만 스택에 저장하지만 구조체는 가지고있는 변수들의 값들을 모두 스택에 저장하기 때문에 그 크기만큼 스택의 위치 역시 커지게 됨. 하지만 스택은 크기가 제한적이기 때문에 너무 많은 양을 가지게 되면 스택 오버플로우가 발생할 수 있는 위험이 있다. => 힙메모리 침범

• 구조체는 언제 사용할까?
  • 변수의 크기가 작거나, 수명이 짧고, 자주 할당되는 객체는 구조체로 만들어 주는게 좋음.