typechecking

    3

    3답변

    오늘 Reshaper를 내 PC에 설치하여 체크 아웃했습니다. 코드가 다음과 같을 때마다 Resharper에서 Null과 비교하면 정보가 필요하지 않습니다. 왜? 유형 I이 원하는 사람이고 값이 Null이 아닌 경우 만약 내가 확인하고 if (dataGrid.ItemsSource != null && dataGrid.ItemsSource is DataGrid

    3

    1답변

    저는 Frama-C 소프트웨어를 발견했습니다. 이중화 된 if 테스트 또는 예를 들어 주어진 호출에 대한 호출과 같은 일부 코드 패턴을 탐지 할 수 있는지 궁금합니다. 기능에는 항상 다른 기능이옵니다. 변수 이름을 사용하거나 예를 들어 주어진 접두사가 붙은 변수가 특정 유형에 속하는지 확인하는 것과 같은 경우가 있습니다. Frama-C (ACSL을 사용하거

    0

    1답변

    함수에 전달 된 인수 유형을 확인하는 데코레이터 메소드가 있습니다. 난 그냥 WHATTOPUTHERE의 장소에 ClassA을 넣을 수 있습니다 다른 클래스에서 class ClassA: @accepts(WHATTOPUTHERE) def doSomething(otherObject): # Do something : 클래스에서 지금

    3

    1답변

    ml 파일 만 유형을 검사 할 수 있습니까? 좀 더 정확히 말하자면, b.cmi에 의존하는 파일 a.ml이 있습니다. a.ml 만 유형을 확인할 수 있습니까? 나는 b.cmo을 가지고 있지 않다는 것을주의하십시오, 단지 b.cmi.

    0

    2답변

    문자열 -> 부울과 같은 암시 적 유형 변환을 허용하지 않음으로써 템플릿 클래스 매개 변수의 유형 검사를 수행하려고합니다. 이로 인해 컴파일 오류가 발생합니다. 다음 특정 시나리오는 간단한이다 #include <iostream> #include <string> using namespace std; template <class T> class myP

    0

    2답변

    내가 할 때 : typeof([])object을 반환합니다. JavaScript의 내장 유형의 프로토 타입을 편집하는 것이 허용되지 않는다고 들었습니다. Array.prototype.isArray = true; 후 다음 작업 : 나는이 작업을 수행 할 경우 그러나 var arr = []; var obj = {}; if (arr.isArray) {

    0

    2답변

    Android 앱에서 연락처 목록에 몇 개의 연락처가 있습니다. 이메일, 전화 번호 또는 다른 것 중 하나 일 수 있습니다. 이제 어떤 유형인지 확인하고 특정 작업을 바인딩하려고합니다. 예를 들어, 유형이 vnd.android.cursor.item/email_v2 인 경우 이메일 필드와 함께 POST 메시지를 보내려고합니다. 유형이 vnd.android.c

    1

    1답변

    특정 유형의 객체 만 필터링하는 클래스 세트가 있습니다. trait FilterTrait { type RequiredType <: BaseType def filter(baseObjects: Seq[BaseType]): Seq[BaseType] = { val (requiredTypeObjects, nonRequiredTypeOb

    4

    1답변

    Yesst와 함께 Persistent를 사용하여 데이터베이스의 테이블에서 모든 필드 키 목록을 가져 오려고합니다. 다음과 같이 내 접근 코드는 다음과 같습니다 여기되지 하스켈 의미에서, 게임 감각의지도입니다 "지도":이 게임이다 getMapList :: Handler [Text] getMapList = runDB $ do dbList <- sel

    0

    1답변

    변수 myVar이 노드인지 알고 싶습니다. 내가 myVar.nodeType을 확인할 수 있습니다, 그러나 나는 그런 {nodeType:1} 에 속지 수, 나는 myVar instanceof Node 편집 재미 같은 것을 할 수 있다면, 그것은 것 같다 궁금 Node 생성자가 있으므로 instanceof Node이 실제로 작동합니다! 내 생각 엔이 요청하