C#에서 정의되지 않은 동작을하는 코드

Question

C++에서는 컴파일하는 코드를 작성할 수있는 방법이 많이 있지만 undefined behavior (Wikipedia)이됩니다. C#에서 비슷한 점이 있습니까? 컴파일 할 수 있지만 정의되지 않은 동작이있는 C#으로 코드를 작성할 수 있습니까?

Answer 1

다른 사람들이 언급했듯이 "안전하지 않은"블록의 거의 모든 것이 구현 정의 동작을 산출 할 수 있습니다. 안전하지 않은 블록을 악용하면 런타임 자체를 구성하는 코드 바이트를 변경할 수 있으므로 모든 베팅은 해제됩니다.

정수 나누기의 대소 문자에는 구현 정의 동작이 있습니다.

예외를 throw하고 결코 catch하지 않으면 구현이 정의 된 동작이 발생합니다. 프로세스를 종료하고 디버거를 시작합니다.

구현 결정 동작을하는 코드를 강제로 내보내는 C#에는 여러 가지 상황이 있습니다. 예를 들어,이 상황은 :

http://blogs.msdn.com/ericlippert/archive/2006/04/06/odious-ambiguous-overloads-part-two.aspx

그러나, 안전하고, 잘 동작하는 C# 프로그램이 구현 정의 동작을 가지고있는 경우는 매우 드문해야한다.

Answer 2

위키를 살펴보면 정의되지 않은 동작이 발생하는 상황이 허용되지 않거나 C#에서 예외가 발생합니다. 그건 당신이 포인터 등을 사용할 수 있습니다으로 안전하지 않은 코드 그러나

은, 내가 믿는 정의되지 않은 동작이 가능하다

편집 : 보입니다 내가 옳다 같은 : http://msdn.microsoft.com/en-us/library/aa664771%28VS.71%29.aspx

이 정의되지 않은 동작의 예를 가지고 in C#

Answer 3

정확하게 Wiki 감각은 아니지만 마음에 떠오르는 가장 확실한 예제는 단순히 스레드 코드를 작성하는 것 뿐이지 만 모든 언어에서 그와 비슷합니다.

Answer 4

일반적으로 나는 아니오라고 대답합니다.

자동 변수를 초기화하기 전에 사용하십시오.

모든 변수를 초기화해야합니다. 그렇지 않으면 예외가 발생합니다. 제로

예외로

사업부가 발생합니다.

Aequitarum Custos 당신이 안전하지 않은 코드를 사용할 수 있습니다 지적

예외가

을 발생합니다 범위에서 배열을 인덱싱. 그렇다면 다시 C#이 아닙니다. C# 환경을 명시 적으로 거부하고 있습니다.

Answer 5

ECMA-334 문서 (p.473) :

정의되지 않은 동작이 발생할 수없는 안전하지 않은 수정 의 발생을 포함하지 않는 프로그램입니다.

Eric Lippert의 답변을 보면 최악의 경우에 '구현 정의'가 가능합니다.

Answer 6

예! 안전한 상황에서도 그렇습니다! (음, 구현이 정의되지 않았 음을 정의했습니다.)

Roslyn issues에있는 Marek Safar와 VSadov가 있습니다. bool과 관련하여 C#과 CLI가 일치하지 않습니다.

C#은 true의 한 종류와 false의 한 종류 만 있다고 생각합니다.

CLI는 false이 0을 포함하는 바이트이고 다른 모든 값은 true이라고 생각합니다.

이 차이는 우리가해야 할 C 번호를 강제 수 있음을 의미 일부 A (가장자리) 흥미로운 일 일 :

//non-standard bool 
//We're setting a bool's value to a byte value of 5. 
var a = new bool[1]; 
Buffer.SetByte(a, 0, 5); 

//non-standard bool 
//We're setting a bool's value to a byte value of 10. 
var b = new bool[1]; 
Buffer.SetByte(b, 0, 10); 

//Both are true. 
Console.WriteLine(a[0]); 
Console.WriteLine(b[0]); 

//But they are not the same true. 
Console.WriteLine(a[0] == b[0]); 

위의 출력 :

true

true

,

흥미롭게도, 디버거 동의하지는 (다른 진실을 평가해야합니다?)

어쨌든

에서 C# 팀이 나타나는 결론은 (강조는 추가)되어 온 것으로 :

IE 언어는 비표준 bool에 전혀 관심이 없습니다. (CIL에 MS C#에서와 같은) 특정 구현은 비표준 bools의 존재를 인정하고 정의되지 않은

Answer 7

많은 및 서브 프로그램으로 요약 할 수 있습니다 요구 사항을 가지고 자신의 동작을 지정합니다

1. 을 유효한 데이터가 주어지면 유효한 출력을 생성합니다.

2. 잘못된 입력을 받았을 때라도 핵 미사일 발사 또는 시간 및 인과 관계의 법칙 위반을 자제합니다.

Java 및.NET 언어는 코드가 "안전하지 않은"것으로 표시된 특정 코드를 사용하지 않으면 위의 두 번째 제약 조건을 충족시키기 위해 특별한 노력이 필요하지 않습니다. [가비지 수집 및 Finalize과 관련된 일부 동작은 시간/인과 관계에서 약간 이상 할 수 있습니다 관점에서 볼 때, 그것들은 완전한 인과 관계가 아닌 인과 관계의 일반적인 규칙에 대한 예외로 기술 될 수있다. 이러한 상황은 많은 종류의 데이터 의존적 오류 (예 : 정수 오버플로)로 인해 오버플로를 방지하는 데 필요한 가정을 포함하여 컴파일러가 임의의 방식으로 작동 할 수있는 C의 상황과 매우 다릅니다. 하이퍼 모던 C 철학에서 권장되는 진실로 끔찍한 종류의 정의되지 않은 행동은 C# 또는 "안전하지 않은"블록 외부의 다른 .NET 언어에는 존재하지 않습니다.