0, NULL, nullptr

초·2024년 12월 8일

EffectiveModernC++

C++

목록 보기

19/26

0과 NULL보다 nullptr을 선호하라

0

리터럴 0은 int이지 포인터가 아님
포인터만 사용할 수 있는 위치에 0이 있으면 마지못해 nullptr로 해석하긴 하지만 최후의 수단일 뿐임

NULL

NULL도 포인터 형식이 아님

void f(int);
void f(bool);
void f(void*);

f(0);          // f(void*)가 아니라 f(int) 호출

f(NULL);       // 컴파일되지 않을 수도 있지만, 보통은 f(int)를 호출함
               // f(void*)를 호출하는 경우는 없음
               
f(nullptr);    // f(void*)가 호출됨

nullptr

정수도 포인터 형식도 아님
std::nullptr_t인데 이는 모든 raw pointer 형식으로 암묵적 변환됨
=> 모든 형식의 포인터처럼 행동함 (중복 적재가 예상과 일치)
코드의 명확성을 높여줌

// (1) auto 변수가 관여하는 상황
auto result = findRecord(/*인수들*/);

// 이렇게 사용하면 findRecord 반환 형식을 모르거나 파악하기 어려운 경우
// 반환값이 포인터 형식인지 정수 형식인지 명확하지 않음
if (result == 0)
{
	// ...
}

// 이렇게 사용하면 중의성이 없음
if (result == nullptr)
{
	// ...
}

// (2) 템플릿이 관여하는 상황
#include <iostream>
#include <vector>
#include <memory>
#include <mutex>

using namespace std;

class Widget {};

int f1(std::shared_ptr<Widget> spw);
double f2(std::unique_ptr<Widget> upw);
bool f3(Widget* pw);

std::mutex f1m, f2m, f3m;

template<typename FuncType, typename MuxType, typename PtrType>
auto lockAndCall(FuncType func, MuxType& mutex, PtrType ptr) -> decltype(func(ptr))
{
	using MuxGuard = std::lock_guard<MuxType>;

	MuxGuard g(mutex);
	return func(ptr);
}

int main()
{
	auto result1 = lockAndCall(f1, f1m, 0);       // (1) 오류
	auto result2 = lockAndCall(f2, f2m, NULL);    // (2) 오류
	auto result3 = lockAndCall(f3, f3m, nullptr); // (3) OK
}