Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

(시리즈 글이 18개 있습니다.)
.NET Framework: 1110. C# 11 - 인터페이스 내에 정적 추상 메서드 정의 가능 (DIM for Static Members)
; https://www.sysnet.pe.kr/2/0/12814

.NET Framework: 1118. C# 11 - 제네릭 타입의 특성 적용
; https://www.sysnet.pe.kr/2/0/12839

.NET Framework: 1182. C# 11  - ref struct에 ref 필드를 허용
; https://www.sysnet.pe.kr/2/0/13015

.NET Framework: 2025. C# 11  - 원시 문자열 리터럴(raw string literals)
; https://www.sysnet.pe.kr/2/0/13085

.NET Framework: 2026. C# 11 - 문자열 보간 개선 2가지
; https://www.sysnet.pe.kr/2/0/13086

.NET Framework: 2030. C# 11 - UTF-8 문자열 리터럴
; https://www.sysnet.pe.kr/2/0/13096

.NET Framework: 2031. C# 11 - 사용자 정의 checked 연산자
; https://www.sysnet.pe.kr/2/0/13099

.NET Framework: 2032. C# 11 - shift 연산자 재정의에 대한 제약 완화 (Relaxing Shift Operator)
; https://www.sysnet.pe.kr/2/0/13100

.NET Framework: 2035. C# 11 - 새로운 연산자 ">>>" (Unsigned Right Shift)
; https://www.sysnet.pe.kr/2/0/13110

.NET Framework: 2036. C# 11 - IntPtr/UIntPtr과 nint/nuint의 통합
; https://www.sysnet.pe.kr/2/0/13111

.NET Framework: 2037. C# 11 - 목록 패턴(List patterns)
; https://www.sysnet.pe.kr/2/0/13112

.NET Framework: 2038. C# 11 - Span 타입에 대한 패턴 매칭 (Pattern matching on ReadOnlySpan<char>)
; https://www.sysnet.pe.kr/2/0/13113

.NET Framework: 2042. C# 11 - 파일 범위 내에서 유효한 타입 정의 (File-local types)
; https://www.sysnet.pe.kr/2/0/13117

.NET Framework: 2045. C# 11 - 메서드 매개 변수에 대한 nameof 지원
; https://www.sysnet.pe.kr/2/0/13122

.NET Framework: 2046. C# 11 - 멤버(속성/필드)에 지정할 수 있는 required 예약어 추가
; https://www.sysnet.pe.kr/2/0/13123

.NET Framework: 2048. C# 11 - 구조체 필드의 자동 초기화(auto-default structs)
; https://www.sysnet.pe.kr/2/0/13125

.NET Framework: 2049. C# 11 - 정적 메서드에 대한 delegate 처리 시 cache 적용
; https://www.sysnet.pe.kr/2/0/13126

.NET Framework: 2102. C# 11 - ref struct/ref field를 위해 새롭게 도입된 scoped 예약어
; https://www.sysnet.pe.kr/2/0/13276




C# 11 - shift 연산자 재정의에 대한 제약 완화 (Relaxing Shift Operator)

(Visual Studio 2022 17.3 이후 버전에서 테스트할 수 있습니다.)

어제의 글을 쓰고 나서,

C# 11 - 사용자 정의 checked 연산자
; https://www.sysnet.pe.kr/2/0/13099

@ekfvoddl3535 님이 다음과 같은 덧글을 남기셨는데요,

재정의 가능한 연산자가 추가된것은 엄청 반갑네요
얼른 c++ 처럼 <<이나 >> 연산자의 2번째 인수타입이 int가 아니더라도 재정의 가능하게 바뀌었으면 하네요 호호..


그에 대해 제가 아는 체 좀 한다고 다음과 같은 덧글을 남겼습니다. ^^

정확한 속내는 잘 모르겠지만, 연산자 재정의에 관한 부정적인 의견도 있기 때문에 아마도 C#의 경우에는 그것을 산술 연산에만 적용하도록 권장하는 듯합니다. 따라서, >>, << 연산자의 경우에도 numeric 관련 타입에 한해 의미가 왜곡되지 않도록 shift 연산이라는 걸로 한정 짓기 때문에 비트 이동을 디지털적인 int 정수 외에는 허용하지 않는 듯하고.

그런 탓에 C++처럼 cout, cin에서 쓰이는 식의 기대는 안 하는 것이 속 편할 것입니다. ^^


그런데, 남기고 나서 왠지 ^^ 찝찝한 느낌이 들어서 검색해 봤더니... ^^; 창피하게도 C# vNext에 그 요구 사항이 있었고,

[Proposal]: Relaxing shift operator requirements #4666
; https://github.com/dotnet/csharplang/issues/4666

이미 Visual Studio 2022 17.3 preview 3에 병합이 되었습니다. 즉, 아마도 C# 11에 포함될 예정입니다. ^^ 어쩔 수 없군요, 기왕 이야기가 나온 김에 이번에는 바로 "Relaxing Shift Operator"를 설명해 보겠습니다.




그런데 막상 설명하려고 보니, 위의 도입부에서 쓴 것이 전부입니다. ^^; 그래서 현재 아래와 같은 식의 코드가 컴파일 됩니다.

C c = new C();
C d = c << 5.8f;

class C
{
    public static C operator << (C c, float o)
    {
        Console.WriteLine("shift operator called with " + o);

        return c;
    }
}

C#의 spec 문서에 따르면,

11.10 Shift operators
; https://github.com/dotnet/csharpstandard/blob/draft-v6/standard/expressions.md#1110-shift-operators

아래와 같은 규칙이 있습니다.

When declaring an overloaded shift operator, the type of the first operand shall always be the class or struct containing the operator declaration, and the type of the second operand shall always be int.


위의 규칙을 소스코드로 설명해 보면, shift 재정의 메서드에서 첫 번째 매개 변수는 반드시 해당 메서드를 포함한 타입이어야 하고, 두 번째 매개 변수는 int 형이어야 한다는 것입니다.

그리고 이번 C# 11에서 풀린 제약은 (첫 번째 매개 변수의 규칙은 그대로 유지되고) 두 번째 매개 변수의 int 형식이어야 한다는 것을 해제한 것입니다. 즉, float, object, ... 사용자 정의 타입 등 원하는 형식으로 할 수 있다는 것입니다.

이것을 보고, 아마도 C++ 언어를 해보셨던 분들은 cout와 같은 기능을 구현할 수 있지 않을까... 기대할 수 있을 것 같은데요,

#include <iostream>
int main()
{
    std::cout << "Hello";
    return 0;
}

아쉽게도, 연산자 자체가 반드시 결과를 받는 대상이 필요하기 때문에 사용법에 약간 제약이 있습니다.

// 정상 컴파일
C d1 = c << 5.8f;

// 컴파일 오류: error CS0201: Only assignment, call, increment, decrement, await, and new object expressions can be used as a statement
c << 5.8f;

오류 메시지에도 나오지만, 대입/호출/증감/await/new 식만 문으로 인정이 되므로 shift 연산자를 쓴 것만으로는 컴파일 오류가 발생합니다. (아마도 나중에 shift 연산자에 한해서만 문으로 인정해 준다면, 그때서야 비로소 C++처럼 cin/cout와 같은 코드를 구현할 수 있을 것입니다. ^^)




참고로, 이 기능이 제안된 이유가 .NET 7에 포함될 Generic Math 때문이라고 합니다. 그런데 한 가지 재미있는 점은, IShiftOperators<TSelf,TResult>와 같은 인터페이스는,

namespace System.Numerics
{
    public interface IShiftOperators<TSelf, TResult> where TSelf : IShiftOperators<TSelf, TResult>
    {
        TResult op_UnsignedRightShift(TSelf value, int shiftAmount);

        public static abstract TResult operator <<(TSelf value, int shiftAmount);
        public static abstract TResult operator >>(TSelf value, int shiftAmount);
    }
}

여전히 두 번째 매개 변수의 타입을 int로 고정했다는 점입니다. 게다가 현재 .NET 7 (v7.0.100-preview.6, "dotnet-sdk-7.0.100-preview.6.22352.1-win-x64.exe")을 기준으로 이번에 새롭게 포함될 Int128 구조체도, 이전의 BigInteger 타입에서도 여전히 int만 받고 있습니다.

// Int128
public static Int128 operator <<(Int128 value, int shiftAmount);
public static Int128 operator >>(Int128 value, int shiftAmount);

// BigInteger
public static BigInteger operator <<(BigInteger value, int shift)
public static BigInteger operator >>(BigInteger value, int shift)

왜 Int128이나 BigInteger를 받는 유형은 제공하지 않는 걸까요? ^^




마지막으로, shift 연산자 재정의 시 두 번째 타입을 int가 아닌 다른 타입으로 정의하는 규칙은 C#만의 제약이라는 점입니다. 즉, IL 수준에서는 어느 타입이든 가능합니다. 실제로 C#에서도 SpecialName 특성을 이용하면 shift 연산자의 두 번째 타입 제약을 벗어날 수 있습니다. 예를 들어 아래와 같이 정의하고,

using System.Runtime.CompilerServices;

namespace ClassLibrary1
{
    public class D
    {
        [SpecialName]
        public static D op_LeftShift(D c, float o)
        {
            Console.WriteLine("shift operator called with " + o);
            return c;
        }
    }
}

이렇게 사용할 수 있습니다.

D d = new D();
var result = d << 5.8f;

여기서 재미있는 점은, "D" 클래스 정의를 반드시 다른 어셈블리로 분리해 놓아야 한다는 것입니다. 즉, 해당 클래스를 사용하는 같은 프로젝트에 "class D"를 정의한 경우에는 다음과 같은 오류가 발생합니다.

D d = new D();

// 컴파일 오류 발생 - error CS0019: Operator '<<' cannot be applied to operands of type 'C' and 'float'
var result = d << 5.8f;

// 같은 어셈블리에 정의한 경우
public class D
{
    [SpecialName]
    public static D op_LeftShift(D c, float o)
    // ...[생략]...
}




C# 11 - 인터페이스 내에 정적 추상 메서드 정의 가능(공식 문서, Static Abstract Members In Interfaces C# 10 Preview)
; https://www.sysnet.pe.kr/2/0/12814

C# 11 - 제네릭 타입의 특성 적용 (공식 문서, Generic attributes)
; https://www.sysnet.pe.kr/2/0/12839

C# 11 - 사용자 정의 checked 연산자 (공식 문서, Checked user-defined operators)
; https://www.sysnet.pe.kr/2/0/13099

C# 11 - shift 연산자 재정의에 대한 제약 완화 (공식 문서, Relaxing Shift Operator)
; https://www.sysnet.pe.kr/2/0/13100

C# 11 - IntPtr/UIntPtr과 nint/unint의 통합 (공식 문서, Numeric IntPtr)
; https://www.sysnet.pe.kr/2/0/13111

C# 11 - 새로운 연산자 ">>>" (Unsigned Right Shift) (공식 문서, Unsigned right shift operator)
; https://www.sysnet.pe.kr/2/0/13110

C# 11 - 원시 문자열 리터럴 (공식 문서, raw string literals)
; https://www.sysnet.pe.kr/2/0/13085

C# 11 - 문자열 보간 개선 2가지 (공식 문서, Allow new-lines in all interpolations)
; https://www.sysnet.pe.kr/2/0/13086

C# 11 - 목록 패턴 (공식 문서, List patterns)
; https://www.sysnet.pe.kr/2/0/13112

C# 11 - Span 타입에 대한 패턴 매칭 (공식 문서, Pattern matching on ReadOnlySpan<char>)
; https://www.sysnet.pe.kr/2/0/13113

C# 11 - Utf8 문자열 리터럴 지원 (공식 문서, Utf8 Strings Literals)
; https://www.sysnet.pe.kr/2/0/13096

C# 11 - ref struct에 ref 필드를 허용 (공식 문서, ref fields)
; https://www.sysnet.pe.kr/2/0/13015

C# 11 - 파일 범위 내에서 유효한 타입 정의 (공식 문서, File-local types)
; https://www.sysnet.pe.kr/2/0/13117

C# 11 - 메서드 매개 변수에 대한 nameof 지원 (공식 문서, nameof(parameter))
; https://www.sysnet.pe.kr/2/0/13122

C# 11 - 멤버(속성/필드)에 지정할 수 있는 required 예약어 추가 (공식 문서, Required members)
; https://www.sysnet.pe.kr/2/0/13123

C# 11 - 구조체 필드의 자동 초기화 (공식 문서, auto-default structs)
; https://www.sysnet.pe.kr/2/0/13125

C# 11 - 정적 메서드에 대한 delegate 처리 시 cache 적용 (공식 문서, Cache delegates for static method group)
; https://www.sysnet.pe.kr/2/0/13126

Language Feature Status
; https://github.com/dotnet/roslyn/blob/main/docs/Language%20Feature%20Status.md




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]







[최초 등록일: ]
[최종 수정일: 5/5/2023]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




... [16]  17  18  19  20  21  22  23  24  25  26  27  28  29  30  ...
NoWriterDateCnt.TitleFile(s)
13192정성태12/13/20224384Linux: 55. 리눅스 - bash shell에서 실수 연산
13191정성태12/11/20225300.NET Framework: 2077. C# - 직접 만들어 보는 SynchronizationContext파일 다운로드1
13190정성태12/9/20225710.NET Framework: 2076. C# - SynchronizationContext 기본 사용법파일 다운로드1
13189정성태12/9/20225943오류 유형: 831. Visual Studio - Windows Forms 디자이너의 도구 상자에 컨트롤이 보이지 않는 문제
13188정성태12/9/20225198.NET Framework: 2075. C# - 직접 만들어 보는 TaskScheduler 실습 (SingleThreadTaskScheduler)파일 다운로드1
13187정성태12/8/20225091개발 환경 구성: 654. openssl - CA로부터 인증받은 새로운 인증서를 생성하는 방법 (2)
13186정성태12/6/20223652오류 유형: 831. The framework 'Microsoft.AspNetCore.App', version '...' was not found.
13185정성태12/6/20224537개발 환경 구성: 653. Windows 환경에서의 Hello World x64 어셈블리 예제 (NASM 버전)
13184정성태12/5/20223928개발 환경 구성: 652. ml64.exe와 link.exe x64 실행 환경 구성
13183정성태12/4/20223756오류 유형: 830. MASM + CRT 함수를 사용하는 경우 발생하는 컴파일 오류 정리
13182정성태12/4/20224419Windows: 217. Windows 환경에서의 Hello World x64 어셈블리 예제 (MASM 버전)
13181정성태12/3/20223811Linux: 54. 리눅스/WSL - hello world 어셈블리 코드 x86/x64 (nasm)
13180정성태12/2/20224067.NET Framework: 2074. C# - 스택 메모리에 대한 여유 공간 확인하는 방법파일 다운로드1
13179정성태12/2/20223537Windows: 216. Windows 11 - 22H2 업데이트 이후 Terminal 대신 cmd 창이 뜨는 경우
13178정성태12/1/20223978Windows: 215. Win32 API 금지된 함수 - IsBadXxxPtr 유의 함수들이 안전하지 않은 이유파일 다운로드1
13177정성태11/30/20224759오류 유형: 829. uwsgi 설치 시 fatal error: Python.h: No such file or directory
13176정성태11/29/20223704오류 유형: 828. gunicorn - ModuleNotFoundError: No module named 'flask'
13175정성태11/29/20225009오류 유형: 827. Python - ImportError: cannot import name 'html5lib' from 'pip._vendor'
13174정성태11/28/20223909.NET Framework: 2073. C# - VMMap처럼 스택 메모리의 reserve/guard/commit 상태 출력파일 다운로드1
13173정성태11/27/20224548.NET Framework: 2072. 닷넷 응용 프로그램의 스레드 스택 크기 변경
13172정성태11/25/20224444.NET Framework: 2071. 닷넷에서 ESP/RSP 레지스터 값을 구하는 방법파일 다운로드1
13171정성태11/25/20224029Windows: 214. 윈도우 - 스레드 스택의 "red zone"
13170정성태11/24/20224384Windows: 213. 윈도우 - 싱글 스레드는 컨텍스트 스위칭이 없을까요?
13169정성태11/23/20224917Windows: 212. 윈도우의 Protected Process (Light) 보안 [1]파일 다운로드2
13168정성태11/22/20224251제니퍼 .NET: 31. 제니퍼 닷넷 적용 사례 (9) - DB 서비스에 부하가 걸렸다?!
13167정성태11/21/20224259.NET Framework: 2070. .NET 7 - Console.ReadKey와 리눅스의 터미널 타입
... [16]  17  18  19  20  21  22  23  24  25  26  27  28  29  30  ...