const*, constexpr**

const (C++)

데이터 선언을 수정할 때, const 키워드는 개체 또는 변수를 수정할 수 없도록 지정합니다.

 

구문

const declaration ;
member-function const ;

4번줄 5번줄에서 3번줄에서 const로 선언된 i를 수정하려 하니 터지는 다는 것을 보여준다.

 

 

 

 

 

C++에서는 상수 값을 정의하기 위해 #define 전 처리기 지시문 대신 const 키워드를 사용할 수 있습니다. const로 정의 된 값은 타입 검사를 받으며 상수 표현식 대신 사용할 수 있습니다.

 

C++에서 다음과 같이 const 변수를 사용하여 배열의 크기를 지정할 수 있습니다.

 

// constant_values2.cpp
// compile with: /c
const int maxarray = 255;
char store_char[maxarray];  // allowed in C++; not allowed in C

// constant_values4.cpp
#include <stdio.h>
int main() {
   const char *mybuf = "test";
   char *yourbuf = "test2";
   printf_s("%s\n", mybuf);
 
   const char *bptr = mybuf;   // Pointer to constant data
   printf_s("%s\n", bptr);
 
   // *bptr = 'a';   // Error
}

4번줄에 정의된 const char 형의 포인터를 8번줄의 같은 형으로 받는 모습을 보여준다.

바로 위 예제와 다른점은 const char의 포인터형과 char const 포인터는 엄연히 다르며, 전자는 const화 된 char를 뜻하고 후자는 const화 된 char의 포인터를 뜻한다. 즉, const char 포인터는 수정이 가능하지만 char const는 상수화 된 값이라 수정이 불가능하다.

 

 

 

 

상수 데이터에 대한 포인터를 함수 매개 변수로 사용하여 함수가 포인터를 통해 전달 된 매개 변수를 수정하지 못하도록 할 수 있습니다.

const로 선언 된 객체의 경우 상수 멤버 함수 만 호출 할 수 있습니다. 이렇게하면 상수 개체가 수정되지 않습니다.

birthday.getMonth();    // Okay
birthday.setMonth( 4 ); // Error

 

 

 

const화 되지 않은 객체에 대해 상수 또는 비 상수 멤버 함수를 호출할 수 있습니다. const 키워드를 사용하여 멤버 함수를 오버로드 할 수도 있습니다.-이렇게 하면 const화 된 객체 및 const화 되지 않은 객체에 대해 다른 버전의 함수를 호출 할 수 있습니다.

 

 

 

자체예제_

class A 
{
public:
    void func1()
    {
        cout << "A class func1" << endl;
    }
 
    void func1() const
    {
        cout << "A class const func1" << endl;
    }
 
public:
    A() {}
    ~A() {}
};
 
int main() 
{
    A a;
    a.func1();
 
    const A ac = A();
    ac.func1();
}

// constant_member_function.cpp
class Date
{
public:
   Date( int mn, int dy, int yr );
   int getMonth() const;     // A read-only function
   void setMonth( int mn );   // A write function; can't be const
private:
   int month;
};
 
int Date::getMonth() const
{
   return month;        // Doesn't modify anything
}
void Date::setMonth( int mn )
{
   month = mn;          // Modifies data member
}
int main()
{
   Date MyDate( 7, 4, 1998 );
   const Date BirthDate( 1, 18, 1953 );
   MyDate.setMonth( 4 );    // Okay
   BirthDate.getMonth();    // Okay
   BirthDate.setMonth( 4 ); // C2662 Error
}

 

 

 

C 와 C++ 에서 const 차이점

변수를 C 소스 코드 파일에서 const로 선언하면 다음과 같이됩니다.

const int i = 2;

extern const int i;

그러나 C++에서 동일한 동작을 얻으려면, const 변수를 다음과 같이 선언해야합니다.

extern const int i = 2;

 

C++ 컴파일러에 의한 네임 맹글링(name mangling)을 방지합니다.

 

*

name mangling_

자자.... 이거 함수와 관련된 Post가 필요한데 아직 작성하지 못했다...;ㅠㅠ

차후에 연결지을 포스팅이 완성될 것이다!!!!!

점점 MSDN 볼 항목이 많아지니 좀만내려가면 된다ㅇㅇㅇ!!!!!!!!!!!!!!!!!

 

 

 

참고

멤버 함수의 매개 변수 목록을 따를 때 const 키워드는 함수가 호출된 객체를 수정하지 않도록 지정합니다.

 

 

const에 대한 자세한 내용은 다음 항목을 참조하십시오.

• const and volatile Pointers

• Type Qualifiers (C Language Reference)

• volatile

• #define

 

 

 

 

constexpr (C++)

constexpr 키워드는 C ++ 11에 도입되었으며 C ++ 14에서 개선되었습니다. 상수 표현(constant expression)을 의미합니다.

 

const와 같은 점은 변수에 적용하여 코드가 값을 수정하려고하면 컴파일러 오류가 발생합니다.

const와 다른 점은 constexpr은 함수와 클래스 생성자에도 적용될 수 있습니다. constexpr은 값 또는 반환 값이 상수임을 나타냅니다. 가능한 경우 컴파일 타임에 계산됩니다. -> 성능(런타임) 향상, 컴파일 시 고생!! 이란 말이다.

 

constexpr 정수 값은 템플릿 인수 및 배열 선언과 같이 const 정수가 필요한 모든 위치에서 사용할 수 있습니다. 그리고 런타임이 아닌 컴파일 타임에 값을 계산할 수 있다면 프로그램 실행 속도를 높이고 메모리 사용량을 줄일 수 있습니다.

 

컴파일 타임 상수 계산의 복잡성과 컴파일 타임에 미칠 수 있는 영향을 제한하기 위해 C++ 14 표준은 상수 표현식의 유형을 리터럴 유형(literal types)으로 요구합니다.

 

 

구문

constexpr literal-type identifier = constant-expression ; 
constexpr literal-type identifier {constant-expression } ;
constexpr literal-type identifier ( params ) ;
constexpr ctor ( params );

 

Parameters

params
하나 이상의 매개 변수에서 각 매개 변수는 리터럴 유형이어야하며 그 자체가 상수 표현이어야합니다.

 

반환 값

constexpr 변수와 함수는 반드시 literal type 을 반환합니다.

literal_type_**

리터럴 유형은 컴파일 타임에 레이아웃을 결정할 수있는 유형입니다. 다음은 리터럴 유형입니다.

• void
• scalar 형
• references 참조 형
• void, scalar, 참조 형의 배열
• trivial 소멸자가 있는 클래스와 생성자를 이동하거나 복사하지 않는 하나 이상의 constexpr 생성자를 가진 클래스. 또한 모든 비정적 데이터 멤버 및 기본 클래스는 리터럴 형식이어야하며 volatile이 아니어야합니다.

쉽게 말하면, 컴파일 시간에 처리되는 constexpr의 특성에 맞추어 컴파일 시간에 처리될 수 있어야 함을 의미한다.

 

후에 해당 키워드를 설명하는 포스트가 있을 시 링크를 걸겠다.

출처: https://mtding.tistory.com/18 [M_TDING]

constexpr 변수

const 변수와 constexpr 변수의 주요 차이점은 런타임까지 const 변수의 초기화를 연기할 수 있다는 것입니다. 컴파일 타임에 constexpr 변수를 반드시 초기화 합니다. 모든 constexpr 변수는 const입니다.

• 변수가 리터럴 타입이고 초기화 된 경우 constexpr을 사용하여 변수를 선언할 수 있습니다. 초기화가 생성자에 의해 수행되면 생성자는 constexpr로 선언되어야합니다.
• 참조하는 객체가 상수 표현식에 의해 초기화되고 초기화 중에 호출되는 암시적 변환이 상수 표현식이라면 참조는 constexpr로 선언될 수 있습니다.
• constexpr 변수 또는 함수의 모든 선언에는 constexpr 지정자가 있어야 합니다. 

3번 항목은 constexpr 을 표기해야 한다는 비교적 당연한 이야기이다. 하지만 1번 항목과 2번 항목에 대한 예제는 존재하지 않아 변수 선언에 대해 나름 예제를 만들어 보았다.

 

 

2번 항목 예제_

constexpr float j = 0;
constexpr int k = j + 1;

위 코드는 정상적으로 진행된다. 만약 4번줄, 생성자에서 constexpr 지정자가 빠질 경우 다음과 같은 오류가 생긴다.

 

class XX
{
public:
    XX() : x(0) {};
};
 
 
int main() 
{
    constexpr XX tx = XX();
}

constexpr float exp(float x, int n)
{
    return n == 0 ? 1 :
        n % 2 == 0 ? exp(x * x, n / 2) :
        exp(x * x, (n - 1) / 2) * x;
};

62번줄 에서는 GetValue() constexpr 꼴로 받지 않는다. 따라서, 이 이유로 인해 런타임 실행이라 설명한다.

 

요구사항

Visual Studio 2015

참고

Declarations and Definitions
const

좋아요 공감

공유하기

글 요소