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

비밀번호

댓글 작성자
 




[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13601정성태4/19/20244닷넷: 2243. C# - PCM 사운드 재생(NAudio)파일 다운로드1
13600정성태4/18/2024272닷넷: 2242. C# - 관리 스레드와 비관리 스레드
13599정성태4/17/2024289닷넷: 2241. C# - WAV 파일의 PCM 사운드 재생(Windows Multimedia)파일 다운로드1
13598정성태4/16/2024322닷넷: 2240. C# - WAV 파일 포맷 + LIST 헤더파일 다운로드1
13597정성태4/15/2024385닷넷: 2239. C# - WAV 파일의 PCM 데이터 생성 및 출력파일 다운로드1
13596정성태4/14/2024771닷넷: 2238. C# - WAV 기본 파일 포맷파일 다운로드1
13595정성태4/13/2024886닷넷: 2237. C# - Audio 장치 열기 (Windows Multimedia, NAudio)파일 다운로드1
13594정성태4/12/20241012닷넷: 2236. C# - Audio 장치 열람 (Windows Multimedia, NAudio)파일 다운로드1
13593정성태4/8/20241050닷넷: 2235. MSBuild - AccelerateBuildsInVisualStudio 옵션
13592정성태4/2/20241206C/C++: 165. CLion으로 만든 Rust Win32 DLL을 C#과 연동
13591정성태4/2/20241167닷넷: 2234. C# - WPF 응용 프로그램에 Blazor App 통합파일 다운로드1
13590정성태3/31/20241072Linux: 70. Python - uwsgi 응용 프로그램이 k8s 환경에서 OOM 발생하는 문제
13589정성태3/29/20241142닷넷: 2233. C# - 프로세스 CPU 사용량을 나타내는 성능 카운터와 Win32 API파일 다운로드1
13588정성태3/28/20241196닷넷: 2232. C# - Unity + 닷넷 App(WinForms/WPF) 간의 Named Pipe 통신파일 다운로드1
13587정성태3/27/20241154오류 유형: 900. Windows Update 오류 - 8024402C, 80070643
13586정성태3/27/20241296Windows: 263. Windows - 복구 파티션(Recovery Partition) 용량을 늘리는 방법
13585정성태3/26/20241095Windows: 262. PerformanceCounter의 InstanceName에 pid를 추가한 "Process V2"
13584정성태3/26/20241047개발 환경 구성: 708. Unity3D - C# Windows Forms / WPF Application에 통합하는 방법파일 다운로드1
13583정성태3/25/20241157Windows: 261. CPU Utilization이 100% 넘는 경우를 성능 카운터로 확인하는 방법
13582정성태3/19/20241417Windows: 260. CPU 사용률을 나타내는 2가지 수치 - 사용량(Usage)과 활용률(Utilization)파일 다운로드1
13581정성태3/18/20241586개발 환경 구성: 707. 빌드한 Unity3D 프로그램을 C++ Windows Application에 통합하는 방법
13580정성태3/15/20241136닷넷: 2231. C# - ReceiveTimeout, SendTimeout이 적용되지 않는 Socket await 비동기 호출파일 다운로드1
13579정성태3/13/20241493오류 유형: 899. HTTP Error 500.32 - ANCM Failed to Load dll
13578정성태3/11/20241628닷넷: 2230. C# - 덮어쓰기 가능한 환형 큐 (Circular queue)파일 다운로드1
13577정성태3/9/20241874닷넷: 2229. C# - 닷넷을 위한 난독화 도구 소개 (예: ConfuserEx)
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...