{ }codelper
변수 만들기변수 범위상수P0087

블록과 가려진 변수

아주 작은 언어로 쓴 프로그램 n줄을 차례로 실행하라.
처음에는 맨 바깥 블록 하나만 열려 있다.
줄마다 다음 중 하나다. - {: 새 블록을 연다(지금 블록 안쪽). - }: 가장 안쪽 블록을 닫는다.
그 블록에서 선언한 이름은 모두 사라지고, 그 이름이 가렸던 바깥 이름이 다시 보인다. - let x v: 지금 블록에 변수 x를 값 v로 선언한다.
바깥 블록에 같은 이름이 있으면 이 블록이 닫힐 때까지 그것을 가린다. - const x v: let과 같지만 x는 상수다. - set x v: 지금 보이는 x(가장 안쪽 블록의 x)에 v를 넣는다.
그 x가 상수면 아무것도 바뀌지 않는다.
새 이름을 만들지 않는다. - print x: 지금 보이는 x의 값을 한 줄에 출력한다. print 말고는 아무것도 출력하지 않는다(print가 하나도 없으면 출력도 없다).

입력
첫 줄에 n(1 ≤ n ≤ 1000), 다음 n줄에 명령.
이름은 영어 소문자 1~10글자, -10^9 ≤ v ≤ 10^9.
맨 바깥 블록은 닫히지 않고, 열린 블록은 100개를 넘지 않는다.
같은 블록에서 같은 이름을 두 번 선언하지 않고, set과 print의 이름은 늘 보이는 이름이다.
출력
print마다 한 줄
예시 1 · stdin
11
let x 1
const y 2
{
let x 10
set y 5
set x 11
print x
print y
}
print x
set x -3
stdout
11
2
1
main.py
입력(stdin)

실행하면 이 줄들이 차례로 input()·표준 입력으로 들어가요(실행 중에 묻지 않아요).

$ 준비됐어요

코드를 입력해 풀려면 PC에서 열어 주세요. 모바일에서는 문제와 풀이를 볼 수 있어요.

다른 언어로는?언어별 풀이 보기 · 8개 언어 풀이

블록 범위는 언어마다 달라요.
JS·TS의 let·const와 C·C++의 지역 변수는 이 문제처럼 블록마다 새 이름을 만들고, 안쪽에서 같은 이름으로 바깥을 가릴 수 있어요(JS의 옛 var는 블록을 무시하고 함수 전체에 하나예요).
Java와 C#은 아직 살아 있는 지역 변수와 같은 이름을 안쪽 블록에서 다시 선언하면 컴파일 오류예요(Java "already defined", C# CS0136).
Python은 if·for가 새 범위를 만들지 않고 함수만 만들어요.
그래서 블록을 무시하고 사전 하나로 처리하면 안쪽 let x 10이 바깥 x를 덮어 버려요.
크레이콘은 블록 안에서 처음 만든 변수가 블록 밖에서 안 보이지만, 바깥에 이미 있는 이름에 넣으면 바깥 변수가 바뀌어요(가리는 선언이 따로 없어요).
상수도 달라요: 실제 언어는 상수에 다시 넣으면 막아요(JS 실행 중 TypeError, TS TS2588, Java final·C# const·C·C++ const는 컴파일 오류, Python은 막지 않고, 크레이콘에는 상수가 없어요).
이 문제에서는 조용히 무시해요.
풀이는 블록마다 사전 하나를 쌓는 스택이에요(Python dict, JS·TS Map, Java HashMap, C# Dictionary, C++ unordered_map, 크레이콘 사전()).
C에는 사전이 없어서 선언을 배열에 쌓고 블록 깊이를 함께 적어 두었다가 }에서 걷어 내요.
함정: 찾을 때 안쪽(스택의 끝)부터 봐야 해요.
바깥부터 찾거나, }에서 그 블록의 이름을 걷어 내지 않거나, set을 '지금 블록에 새로 넣기'로 처리하면(Python 함수 안의 대입이 그래요) 블록이 닫힌 뒤 값이 틀려요.

Pythonmain.py · 25 줄
# 블록마다 사전 하나: 이름 → [값, 상수인가]. 맨 끝이 지금 블록scopes = [{}]  def find(name):    for scope in reversed(scopes):  # 안쪽 블록부터        if name in scope:            return scope[name]  n = int(input())for _ in range(n):    cmd, *rest = input().split()    if cmd == "{":        scopes.append({})    elif cmd == "}":        scopes.pop()    elif cmd in ("let", "const"):        scopes[-1][rest[0]] = [int(rest[1]), cmd == "const"]    elif cmd == "set":        var = find(rest[0])        if not var[1]:            var[0] = int(rest[1])    else:        print(find(rest[0])[0])
JavaScriptmain.js · 24 줄
const lines = require("fs").readFileSync(0, "utf8").split("\n"); // 블록마다 Map 하나: 이름 → { value, isConst }. 맨 끝이 지금 블록const scopes = [new Map()]; function find(name) {  for (let i = scopes.length - 1; i >= 0; i--) {    if (scopes[i].has(name)) return scopes[i].get(name);  }} const n = Number(lines[0]);const out = [];for (let i = 1; i <= n; i++) {  const [cmd, name, v] = lines[i].trim().split(" ");  if (cmd === "{") scopes.push(new Map());  else if (cmd === "}") scopes.pop();  else if (cmd === "let" || cmd === "const") scopes.at(-1).set(name, { value: Number(v), isConst: cmd === "const" });  else if (cmd === "set") {    const entry = find(name);    if (!entry.isConst) entry.value = Number(v);  } else out.push(find(name).value);}console.log(out.join("\n"));
TypeScriptmain.ts · 32 줄
import { readFileSync } from "node:fs";const lines: string[] = readFileSync(0, "utf8").split("\n"); interface Entry {  value: number;  readonly isConst: boolean;} // 블록마다 Map 하나. 맨 끝이 지금 블록const scopes: Map<string, Entry>[] = [new Map()]; function find(name: string): Entry {  for (let i = scopes.length - 1; i >= 0; i--) {    const entry = scopes[i].get(name);    if (entry !== undefined) return entry;  }  throw new Error(`${name} is not declared`); // 문제에서 일어나지 않는다} const n: number = Number(lines[0]);const out: number[] = [];for (let i = 1; i <= n; i++) {  const [cmd, name, v] = lines[i].trim().split(" ");  if (cmd === "{") scopes.push(new Map());  else if (cmd === "}") scopes.pop();  else if (cmd === "let" || cmd === "const") scopes[scopes.length - 1].set(name, { value: Number(v), isConst: cmd === "const" });  else if (cmd === "set") {    const entry = find(name);    if (!entry.isConst) entry.value = Number(v);  } else out.push(find(name).value);}console.log(out.join("\n"));
JavaMain.java · 51 줄
import java.io.BufferedReader;import java.io.IOException;import java.io.InputStreamReader;import java.util.ArrayList;import java.util.HashMap;import java.util.List;import java.util.Map; public class Main {    static class Entry {        int value;        final boolean isConst;         Entry(int value, boolean isConst) {            this.value = value;            this.isConst = isConst;        }    }     // 블록마다 HashMap 하나. 맨 끝이 지금 블록    static final List<Map<String, Entry>> scopes = new ArrayList<>();     static Entry find(String name) {        for (int i = scopes.size() - 1; i >= 0; i--) {            Entry e = scopes.get(i).get(name);            if (e != null) return e;        }        return null; // 문제에서 일어나지 않는다    }     public static void main(String[] args) throws IOException {        BufferedReader br = new BufferedReader(new InputStreamReader(System.in));        int n = Integer.parseInt(br.readLine().trim());        scopes.add(new HashMap<>());        StringBuilder out = new StringBuilder();        for (int i = 0; i < n; i++) {            String[] p = br.readLine().trim().split(" ");            switch (p[0]) {                case "{" -> scopes.add(new HashMap<>());                case "}" -> scopes.remove(scopes.size() - 1);                case "let", "const" -> scopes.get(scopes.size() - 1).put(p[1], new Entry(Integer.parseInt(p[2]), p[0].equals("const")));                case "set" -> {                    Entry e = find(p[1]);                    if (!e.isConst) e.value = Integer.parseInt(p[2]);                }                default -> out.append(find(p[1]).value).append('\n');            }        }        System.out.print(out);    }}
C#Main.cs · 46 줄
using System;using System.Collections.Generic;using System.Text; class Entry{    public int Value;    public readonly bool IsConst;    public Entry(int value, bool isConst) { Value = value; IsConst = isConst; }} class Program{    // 블록마다 Dictionary 하나. 맨 끝이 지금 블록    static readonly List<Dictionary<string, Entry>> scopes = new() { new() };     static Entry Find(string name)    {        for (int i = scopes.Count - 1; i >= 0; i--)            if (scopes[i].TryGetValue(name, out Entry e)) return e;        return null; // 문제에서 일어나지 않는다    }     static void Main()    {        int n = int.Parse(Console.ReadLine());        var sb = new StringBuilder();        for (int i = 0; i < n; i++)        {            string[] p = Console.ReadLine().Trim().Split(' ');            switch (p[0])            {                case "{": scopes.Add(new()); break;                case "}": scopes.RemoveAt(scopes.Count - 1); break;                case "let":                case "const": scopes[^1][p[1]] = new Entry(int.Parse(p[2]), p[0] == "const"); break;                case "set":                    Entry e = Find(p[1]);                    if (!e.IsConst) e.Value = int.Parse(p[2]);                    break;                default: sb.Append(Find(p[1]).Value).Append('\n'); break;            }        }        Console.Write(sb);    }}
C++main.cpp · 45 줄
#include <iostream>#include <string>#include <unordered_map>#include <vector> struct Var {    int value;    bool isConst;}; // 블록마다 사전 하나. back()이 지금 블록std::vector<std::unordered_map<std::string, Var>> scopes(1); Var* find(const std::string& name) {    for (auto it = scopes.rbegin(); it != scopes.rend(); ++it) {        auto found = it->find(name);        if (found != it->end()) return &found->second;    }    return nullptr;  // 문제에서 일어나지 않는다} int main() {    int n;    std::cin >> n;    for (int i = 0; i < n; i++) {        std::string cmd, name;        int v;        std::cin >> cmd;        if (cmd == "{") {            scopes.emplace_back();        } else if (cmd == "}") {            scopes.pop_back();        } else if (cmd == "let" || cmd == "const") {            std::cin >> name >> v;            scopes.back()[name] = Var{v, cmd == "const"};        } else if (cmd == "set") {            std::cin >> name >> v;            Var* p = find(name);            if (!p->isConst) p->value = v;        } else {            std::cin >> name;            std::cout << find(name)->value << '\n';        }    }}
Cmain.c · 51 줄
#include <stdio.h>#include <string.h> /* C에는 사전이 없다: 선언을 차례로 쌓고, 블록이 닫히면 그 블록 것만 걷어 낸다 */struct Var {    char name[11];    int value;    int is_const;    int depth;}; static struct Var vars[1000];static int count = 0; /* 맨 뒤(가장 안쪽)부터 찾는다 */static struct Var *find(const char *name) {    for (int i = count - 1; i >= 0; i--)        if (strcmp(vars[i].name, name) == 0) return &vars[i];    return NULL; /* 문제에서 일어나지 않는다 */} int main(void) {    int n, depth = 0;    char cmd[8], name[11];    int v;    scanf("%d", &n);    for (int i = 0; i < n; i++) {        scanf("%7s", cmd);        if (strcmp(cmd, "{") == 0) {            depth++;        } else if (strcmp(cmd, "}") == 0) {            while (count > 0 && vars[count - 1].depth == depth) count--;            depth--;        } else if (strcmp(cmd, "let") == 0 || strcmp(cmd, "const") == 0) {            scanf("%10s %d", name, &v);            struct Var *p = &vars[count++];            strcpy(p->name, name);            p->value = v;            p->is_const = cmd[0] == 'c';            p->depth = depth;        } else if (strcmp(cmd, "set") == 0) {            scanf("%10s %d", name, &v);            struct Var *p = find(name);            if (!p->is_const) p->value = v;        } else {            scanf("%10s", name);            printf("%d\n", find(name)->value);        }    }    return 0;}
Craykonmain.cray · 49 줄
// 블록마다 사전 두 개: 값과 '상수인가'. 맨 끝이 지금 블록이다값들 = [사전()];상수들 = [사전()]; // 이름을 가진 가장 안쪽 블록의 번호(없으면 -1)찾기(이름){    반복 (j = 값들.개수 - 1; j >= 0; j--)    {        만약 (값들[j].있나(이름))        {            돌려주기 j;        }    }    돌려주기 -1;} n = 콘솔.줄읽기().수로변환();반복 (i = 0; i < n; i++){    parts = 콘솔.줄읽기().나누기();    cmd = parts[0];    선택 (cmd)    {        경우 "{":            값들.넣기(사전());            상수들.넣기(사전());            그만;        경우 "}":            값들.자리빼기(값들.개수 - 1);            상수들.자리빼기(상수들.개수 - 1);            그만;        경우 "let":        경우 "const":            값들[값들.개수 - 1][parts[1]] = parts[2].수로변환();            상수들[상수들.개수 - 1][parts[1]] = cmd == "const";            그만;        경우 "set":            b = 찾기(parts[1]);            만약 (!상수들[b][parts[1]])            {                값들[b][parts[1]] = parts[2].수로변환();            }            그만;        그밖에:            콘솔.쓰기(값들[찾기(parts[1])][parts[1]]);            그만;    }}