12 câu hỏi đã được viết

3

오우, 예리한 질문 감사합니다. 제 설명이 부족하고 혼란을 끼친 것 같습니다.

"리터럴"은 알고계시는 대로, 어떤 값을 "소스코드상에 기재해서 작성한 값"이 맞습니다. true, false, 1234, 0.12, "hello" 등등등 어떤 구체적인 값을 소스코드에 작성한 데이터입니다.

그리고 이 값들은 소스코드가 컴파일된 프로그램 결과물 어딘가에 데이터의 형태로 들어있게 됩니다. 그리고 그 프로그램이 실행되는 런타임에는 메모리 어딘가에 적재되고, 실행중에 "참조"해서 사용하게 될 것입니다.

프로세스가 실행되는 메모리 영역은 크게 "스택"과 "힙"이 있고요, 이 둘은 실행 중에 할당과 해제를 반복해가며 운용될 것입니다. 하지만, 프로그램에 데이터로 하드코딩된 데이터의 경우, 고정된 영역에 프로세스가 종료될 때까지 유지되겠지요. 이 영역을 데이터 영역이라고도 부르고, 코드 영역이라고도 부르는 것 같습니다.

그래서,

let hello: &str = "hello";

이 문장에서, "hello"가 리터럴이 되고요, hello라는 변수는 그 리터럴을 참조하고 있는 슬라이스가 됩니다. (레퍼런스는 &String타입이 되고, 이걸 더 범용적으로 "범위를 지정해서 참조해 쓰는 타입"이 &str로 슬라이스 타입입니다. 문자열 리터럴은 &str로 슬라이스 타입을 써서 사용합니다.)

결국 그림으로 그려주신 내용이 정확합니다. 리터럴 값 자체는 프로세스가 실행되면 메모리 영역 중 특정(데이터 또는 코드라고 부르는) 영역에 위치하게 될 테고, 그걸 참조한 슬라이스 변수를 통해서 쓰게 되는 것이므로, '문자열 리터럴이 특정 영역에 있는 문자열 데이터를 참조하고 있는 값'이라는 표현보다는, '문자열 리터럴 "hello"를 슬라이스 형태로 참조해 사용하는 변수 hello'라는 표현이 더 적확할 것 같습니다.

애써 제 입장에서 변명을 해보자면, 리터럴 값을 결국 접근해서 사용할 수 있는 방법은 슬라이스를 통한 접근 밖에 없기 때문에, 문자열 리터럴은 "사실상"(effectively) 문자열 슬라이스다라고 주장한 거라고 우겨볼 수도 있겠습니다. (궁색한 변명 죄송합니다)

제가 부족해서 혼란을 끼쳤습니다. 부족한 설명에도 열심히 학습해주셔서 감사합니다. 또 질문 있으시면 언제든 편하게 말씀해주세요! 정확한 표현을 위해 노력하겠습니다.

fn main () {
    let byte_escape = "I'm writing \x52\x75\x73\x74!";
    println!("What are you doing\x3F (\\x3F means ?){}", byte_escape);
}

fn main () {
    let byte_escape = "안녕하세요";
    println!("{:?}", byte_escape.as_bytes());
}

[236, 149, 136, 235, 133, 149, 237, 149, 152, 236, 132, 184, 236, 154, 148]