«language-lawyer» 태그된 질문

static_assert에서 를 사용하려면 if constexpr일부 템플릿 매개 변수에 따라 조건을 만들어야합니다. 흥미롭게도 코드가 람다로 싸여 있으면 gcc와 clang이 동의하지 않습니다. 다음 코드는 gcc로 컴파일되지만 clang은 if constexprtrue 일 수 없더라도 assert를 트리거 합니다. #include <utility> template<typename T> constexpr std::false_type False; template<typename T> void foo() { auto f = [](auto x) …

13 c++  templates  language-lawyer  c++17  static-assert 

MSVC, Clang 및 GCC는이 코드에 동의하지 않습니다. struct Base { int x; }; struct Der1 : public Base {}; struct Der2 : public Base {}; struct AllDer : public Der1, public Der2 { void foo() { Der1::Base::x = 5; } }; Godbolt GCC : <source>: In member function 'void AllDer::foo()': …

12 c++  language-lawyer  multiple-inheritance  diamond-problem  qualified-name 

다음 세 가지를 고려하십시오 struct. class blub { int i; char c; blub(const blub&) {} }; class blob { char s; blob(const blob&) {} }; struct bla { blub b0; blob b1; }; int4 바이트 인 일반 플랫폼에서 크기, 정렬 및 총 패딩 1 은 다음과 같습니다. struct size alignment …

12 c++  language-lawyer  c++20 

제목에서 알 수 있듯이 Haskell 함수 반환 단위를 평가하려면 어떤 보증이 있습니까? 그러한 경우에는 어떤 종류의 평가도 실행할 필요가 없다고 생각할 것입니다. ()엄격한 요구가 명시되어 있지 않으면 컴파일러는 그러한 모든 호출을 즉시 값으로 바꿀 수 있습니다. 반품 ()또는 하단. 나는 GHCi에서 이것을 실험했고, 그 반대의 일, 즉 그러한 기능이 평가 …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

이 질문은 최신 C ++ 20 초안 에 P0593 을 추가하는 것을 말합니다 . 내 예는 다음과 같습니다. #include <cstdlib> #include <cstdio> void foo(void *p) { if ( std::getchar() == 'i' ) { *(int *)p = 2; std::printf("%d\n", *(int *)p); } else { *(float *)p = 2; std::printf("%f\n", *(float *)p); …

11 c++  language-lawyer  c++20 

다음 코드는 c ++ 17 모드에서 clang-trunk로 잘 컴파일되지만 c ++ 2a (다가오는 c ++ 20) 모드에서 중단됩니다. // Meta struct describing the result of a comparison struct Meta {}; struct Foo { Meta operator==(const Foo&) {return Meta{};} Meta operator!=(const Foo&) {return Meta{};} }; int main() { Meta res = …

11 c++  language-lawyer  eigen  eigen3  c++20 

2.6 계산 포함 섹션 의이 문서 는 다음 단락으로 구성되어 있습니다. 행이 <토큰으로 시작하고> 토큰을 포함하는 토큰 스트림으로 확장되면 <와 첫 번째> 사이의 토큰이 결합되어 포함 할 파일 이름을 형성합니다. 토큰 사이의 공백은 단일 공백으로 줄어 듭니다. 초기 <뒤의 공백은 유지되지만 닫힘 앞의 후행 공백은 무시 됩니다. CPP는 꺾쇠 괄호 …

11 c++  c  gcc  language-lawyer 

다음 두 클래스와 인터페이스를 고려하십시오. public class Class1 {} public class Class2 {} public interface Interface1 {} 왜 두 번째 호출 하는가 mandatory에 오버로드 된 메소드를 호출 Class2, 경우 getInterface1와 Interface1아무 관계가 없다 Class2? public class Test { public static void main(String[] args) { Class1 class1 = getClass1(); Interface1 interface1 …

11 java  generics  java-8  language-lawyer  javac 

이 예제를 고려하십시오 ( here ). #include <type_traits> #include <iostream> template <typename U> struct A { }; struct B { template <typename F = int> A<F> f() { return A<F>{}; } using default_return_type = decltype(std::declval<B>().f()); }; int main() { B::default_return_type x{}; std::cout << std::is_same< B::default_return_type, A<int>>::value; } 그것은 gcc9.2에 오류없이 …

11 c++  language-lawyer  incomplete-type  declval 

문자열 컨테이너를 통해 패턴 일치를 찾아 인쇄하는 코드가 있습니다. 템플릿 화 된 foo 함수에서 인쇄가 수행됩니다. 코드 #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> class Container> void foo(Iterator first, Container<std::pair<Iterator, Iterator>> const &findings) { for (auto const &finding : findings) …

10 c++  c++11  templates  language-lawyer  template-templates 

편집 2 : 이전에 C ++ 소스 파일에 있던 함수가 C 파일로 그대로 이동하여 잘못된 결과를 반환하기 시작했을 때 이상한 테스트 실패를 디버깅했습니다. 아래의 MVE를 사용하면 GCC 문제를 재현 할 수 있습니다. 그러나 변덕스럽게 Clang (및 나중에 VS로)으로 예제를 컴파일하면 다른 결과를 얻었습니다! 컴파일러 중 하나에서 버그로 처리할지 또는 C …

10 c++  c  language-lawyer  bit-fields  truncation 

내 코드 : #include <stdio.h> #include <limits.h> int main() { char c = CHAR_MAX; c += 1; printf("CHAR_MIN=%d CHAR_MAX=%d c=%d (%c)\n", CHAR_MIN, CHAR_MAX, c, c); } 산출: CHAR_MIN=-128 CHAR_MAX=127 c=-128 () 우리는로 char설정된 변수를 증가 CHAR_MAX시키면로 둘러싸임을 알 수 CHAR_MIN있습니다. 이 동작이 보장됩니까? 아니면 정의되지 않은 동작 또는 구현 지정 …

10 c  char  language-lawyer  standards  integer-overflow 

아래 샘플 코드에서 수행 할 때 다음 예외가 발생합니다 db.Entry(a).Collection(x => x.S).IsModified = true. System.InvalidOperationException : '키 값이'{Id : 0} '인 다른 인스턴스가 이미 추적 중이므로'엔터티 유형 'B'의 인스턴스를 추적 할 수 없습니다. 기존 엔터티를 연결할 때는 지정된 키 값을 가진 엔터티 인스턴스가 하나만 연결되어 있는지 확인하십시오. B의 인스턴스를 첨부하는 …

10 c#  language-lawyer  entity-framework-core-3.1 

다음 프로그램을 고려하십시오. #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } 프로그램이 성공적으로 컴파일되고 출력이 g( …

10 c++  templates  language-lawyer  c++17  template-argument-deduction 

impl Add<char> for String을 표준 라이브러리 에 추가하려고 할 때이 문제가 발생했습니다 . 그러나 운영자 shenanigans없이 쉽게 복제 할 수 있습니다. 우리는 이것으로 시작합니다 : trait MyAdd<Rhs> { fn add(self, rhs: Rhs) -> Self; } impl MyAdd<&str> for String { fn add(mut self, rhs: &str) -> Self { self.push_str(rhs); self …

10 rust  language-lawyer