야곰야곰's S/W 공부

이름, 인수 집합 및 반환 유형을 지정하는 것 외에도 함수 선언에는 다양한 지정자와 수정자가 포함될 수 있다. 함수의 이름 (필수) 인수 목록, 없을 경우 ()로 표시 (필수) 반환 유형은 void 일 수 있고 접두사 접미사 일 수 있다 (필수) inline. 함수 본문을 인라인 하여 함수 호출을 구현 constexpr. 상수 표현식이 인수로 주어지면 compile-time에 함수를 평가할 수 있어야 함을 나타냄 noexcept. 함수가 예외를 throw하지 않을 수 있음 [[noreturn]]. 일반 호출/반환 메커니즘을 사용하여 함수가 반환되지 않음. 또한 멤버 함수는 다음과 같이 지정할 수 있다. virtual. 파생 클래스에서 재정의할 수 있음 override. 기본 클래스의 가상 기능을 재정의해..

때때로 한 유형의 값을 다른 유형의 값으로 변환해야 한다. 이러한 변환은 언어 규칙에 따라 암시적으로 수행된다. double d = 1234567890; // integer to floating-point int i = d; // floating-point to integer 다른 경우에는 명시적이어야 한다. 논리적이고 역사적인 이유로 C++는 다양한 편의성과 안전성을 가진 명시적 유형 변환 작업을 제공한다. {} 표기법을 사용하여 새 값의 유형 안전 구성을 제공하는 구성 다양한 수준의 변환을 제공하는 명명된 변환 - const로 선언된 항목에 대한 쓰기 액세스 권한을 얻기 위한 const_cast - 잘 정의된 암시적 변환을 되돌리기 위한 static_cast - 비트 패턴의 의미를 변경하기 위한 re..

람다 함수 또는 람다라고도 하는 람다식은 익명 함수 객체를 정의하고 사용하기 위한 단순화된 표기법이다. operator()로 명명된 클래스를 정의하는 대신 나중에 해당 클래스의 객체를 만들고 마지막으로 호출하는 대신 약식을 사용할 수 있다. 이것은 연산을 알고리즘에 인수로 전달하려는 경우에 특히 유용하다. GUI(및 다른 곳)의 context에서 이러한 작업을 종종 callback이라고도 한다. 이 섹션에서는 람다의 기출적 측면에 중점을 둔다. 람다 사용에 대한 예제와 기술은 다른 곳에서 찾을 수 있다. 람다 표현식은 일련의 부분으로 구성된다. 람다 식의 본문에 사용할 수 있는 정의 환경의 이름과 참조 복사 또는 액세스 할지 여부를 지정하는 비어 있을 수 있는 capture 목록. capture 목록은 ..

C++에서 'constant'는 두 가지 관련 의미를 제공한다. constexpr : 컴파일 타임에 평가 const : scope 내 수정 방지 기본적으로 constexpr의 역할은 compile-time 평가를 활성화하고 보장하는 반면 const의 주요 역할은 인터페이스에서 불변성을 지정하는 것이다. 여기서는 compile-time 평가와 관련 있다. 컴파일 시 알려지지 않은 값은 사용할 수 없으며 이에 대한 side effect는 없다. 궁극적으로 constant 표현식은 정수, 실수, 열거자로 시작해야 하며 다음을 수행하는 constexpr 함수와 연산자를 사용하여 이들을 결합하여 값을 생성할 수 있다. 또한 일부 주소는 일부 형태의 상수 표현식에서 사용할 수 있다. (따로 논의) 누군가가 리터럴이..

Token Class Examples Indentifier vector, foo_bar, x3 Keyword int, for, virtual Character literal 'x', '\n', 'U' Integer literal 12, 012, 0x12 Floating-point literal 1.2, 1.2e-3, 1.2L String literal "Hello!", R"("World"!)" Operator +=, %,

Parenthesized expression ( expr ) Lambda [ capture-list ] lambda-declarator { stmt-List } Scope resolution class-name :: member Scope resolution namespace-name::member Global ::name Member selection object.member Member selection pointer->member Subscripting pointer [ expr ] Function call expr ( expr-list ) Value construction type { expr-list } Function-style type conversion type ( expr-list ) P..

The Driver 프로그램의 모든 부분이 제자리에 있다면 드라이버만 추가하면 작업을 시작할 수 있다. 실제 계산을 수행하는 calculate()와 실제 수행을 하게 되는 main() 함수로 구성된다. Token_stream ts {cin}; // use input from cin void calculate() { for (;;) { ts.get(); if (ts.current().kind == Kind::end) break; if (ts.current().kind == Kind::print) continue; cout get(ch) && isalnum(ch)) ct.string_value += ch; ip->putback(ch); ct.kind = Kind::name; return ct; } error..

Error Handling 오류를 감지하고 보고하는 것은 항상 중요하다. 그러나 이 프로그램의 경우 간단한 오류 처리 전략으로 충분하다. error() 함수는 단순히 오류를 계산하고 오류 메시지를 작성한 후 다음을 반환한다. int no_of_errors; double error(const string& s) { no_of_errors++; cerr

Low-level input 지금까지 정의된 대로 계산기를 사용하면 몇 가지 불편한 점이 드러난다. 값을 출력하기 위해 표현식 뒤에 세미콜론을 추가하는 것은 지루한 면이 있고 이름이 공백만으로 끝나는 것은 골치 아픈 일이다. 예를 들어, x=7은 식별자 x 뒤에 연산자 = 와 숫자 7이 오는 것이 아니라 식별자 - 다. 원하는 것을 얻으려면 x =7 뒤에 공백을 추가해야 한다. 두 문제 모두 get()의 type-oriented default input을 읽는 코드로 교체하여 해결할 수 있다. Token Token_stream::get() { char ch; do { // skip whitespace except ’\n’ if (!ip−>get(ch)) return ct={Kind::end}; } whi..

Input 입력 읽기는 종종 프로그램에서 가장 곤란한 부분이다. 사람과 의사소통하기 위해 프로그램은 그 사람의 변덕, 관습 및 겉으로 보기에 무작위적인 오류에 대처해야 한다. 사람이 기계에 더 적합한 방식으로 강요하는 것은 공격적으로 간주되기도 한다. 저수준 입력 루틴의 작업은 문자를 읽고 문자에서 더 높은 수준의 토큰을 구성하는 것이다. 이런 토큰은 상위 수준 루틴에 대한 입력 단위다. 여기서 저수준 입력은 ts.get()에 의해 수행된다. 저수준 입력 루틴을 작성하는 것이 일상적인 작업일 필요는 없다. 많은 시스템은 이를 위한 표준 기능을 제공한다. 먼저 Token_stream의 전체 정의를 확인해 보자. class Token_stream { public: Token_stream(istream& s)..

부동 소수점 숫자에 대한 중위 연산자로 네 가지 표준 산술 연산을 제공하는 간단한 탁상용 계산기 프로그램을 만들어보자. 사용자는 변수를 정의할 수도 있다. 예를 들어 주어진 입력 r = 2.5 area = pi ∗ r ∗ r (pi는 미리 정의됨) 계산기 프로그램은 다음과 같은 결과를 보여 줍니다. 2.5 19.635 여기서 2.5는 첫 번째 입력 라인의 결과이고 19.635는 두 번째 라인의 결과다. 이 계산기는 네 개의 메인 파트로 구성된다. (parser, 입력 함수, 기호 테이블, driver). 실제로 이것은 구문 분석기가 구문 분석을 수행하고 입력 기능이 입력 및 어휘 분석을 처리하며 기호 테이블이 영구 정보를 보유하고 driver가 초기화, 출력 및 오류를 처리하는 소형 컴파일러다. 더 유용..

가장 간단한 루프는 range-for 명령문이다. 단순히 범위의 각 요소에 대한 프로그래머 액세스 권한을 제공한다. int sum(vector& v) { int s = 0; for (int x : v) s+=x; return s; } for(int x : v)는 "범위 v의 각 요소 x에 대해" 또는 "v에 있는 각 x에 대해"로 읽을 수 있다. v의 요소는 처음부터 마지막까지 순서대로 동작된다. 요소(여기서는 x)를 명명하는 변수의 범위는 for문이다. 콜론 뒤의 표현식은 시퀀스(범위)를 나타내야 한다. 즉, 반복자를 얻기 위해 v.begin() 및 v.end() 또는 begin(v) 및 end(v)를 호출할 수 있는 값을 생성해야 한다. 컴파일러는 먼저 begin 및 end 멤버를 찾고 이를 사용하려..

선언은 명령문이다. 변수가 static으로 선언되지 않으면 제어 thread가 선언을 통과할 때마다 초기화가 실행된다. 명령문이 사용될 수 있는 모든 곳에서 선언을 허용하는 이유는 프로그래머가 초기화되지 않은 변수로 인한 오류를 최소화하고 코드에서 더 나은 지역성을 허용할 수 있도록 하기 위한 것이다. 보유할 값이 있기 전에 변수를 도입해야 하는 이유는 거의 없다. void f(vector& v, int i, const char∗ p) { if (p==nullptr) return; if (ii;) { if (i

열거형은 사용자가 지정한 정수 값 집합을 보유할 수 있는 유형이다. 열거형의 가능한 값 중 일부는 열거자(enumerator)로 명명되고 호출된다. enum class Color { red, green, blue }; 이것은 열거자가 red, green, blue인 Color라는 열거를 정의한다. enumberation은 enum으로 축약된다. 열거형에는 두 가지 종류가 있다. enum class : 열거자의 이름 (예:red)이 열거형에 대해 local이고 해당 값이 다른 유형으로 암시적으로 변환되지 않는 경우. plain enum : 열거자 이름이 열거형과 동일한 범위에 있고 해당 값이 암시적으로 정수로 변환되는 경우 일반적으로 enum class는 fewer suprises 하기 때문에 선호하는 편..

Union은 가장 큰 구성원만큼만 공간을 차지하도록 모든 구성원이 동일한 주소에 할당되는 구조체다. 당연히 Union은 한 번에 한 구성원에 대해서만 값을 보유할 수 있다. 예를 들어 이름과 값을 보유하는 기호 테이블 항목을 고려해 보자. enum Type { str, num }; struct Entry { char∗ name; Type t; char∗ s; // use s if t==str int i; // use i if t==num }; void f(Entry∗ p) { if (p−>t == str) cout s; // ... } s와 i 멤버는 절대 동시에 사용할 수 없기 대문에 공간을 낭비하고 있다. 다음과 같이 둘 다 Union의 구성원이어야 함을 지정하여 쉽게 복구할 수 있다. union V..

이진 변수를 나타내기 위해 전체 byte(char or bool)를 사용하는 것은 고급스러워 보이지만 char는 C++에서 독립적으로 할당되고 주소 지정될 수 있는 가장 작은 객체다. 그러나 구조체의 필드와 같이 여러 개의 작은 변수를 함께 묶는 것이 가능하다. 필드는 종종 bit 필드라고 한다. 구성원은 점유할 비트 수를 지정하여 필드로 정의된다. 이름 없는 필드가 허용된다. 그것들은 명명된 필드의 의미에 영향을 미치지 않지만 일부 machine-dependent 한 방식으로 레이아웃을 개선하는 데 사용할 수 있다. struct PPN { // R6000 Physical Page Number unsigned int PFN : 22; // Page Frame Number int : 3; // unused..

때때로 객체를 단순하게 "plain old data" (메모리의 연속 byte sequence)로 취급하고 런타임 다형과 같은 고급 개념에 대해 걱정하지 않으려고 한다. 종종 그렇게 하는 이유는 하드웨어가 할 수 있는 가장 효율적인 객체 이동의 방법이기 때문이다. 예를 들어 복사 생성자의 100번 호출을 사용하여 100개의 요소 배열을 복사하는 것은 일반적으로 단순 블록 이동 명령을 사용하는 std::memcpy()를 호출하는 것만큼 빠르지 않을 것이다. 생성자가 inline 된 경우에도 optimizer가 최적화를 발견하기 어려울 수 있다. 이러한 "trick"은 드문 일이 아니며 vector와 같은 컨테이너 구현 및 저수준 I/O 루틴에서 중요하다. 그것들은 불필요하며 상위 레벨 코드에서는 피해야 한..

두 개의 구조체는 동일한 멤버를 가지고 있어도 다른 유형이다. struct S1 { int a; }; struct S2 { int a; }; S1과 S2는 두 가지 다른 유형이므로 다음과 같다. S1 x; S2 y = x; // error : type mismatch 구조체는 또한 멤버로 사용되는 형식과 다른 형식이다. S1 x; int i = x; // error : type mismatch 모든 구조체는 프로그램에서 고유한 정의를 가져야 한다.