Início / coding / Perguntas / 79276260
Accepted
Ger Teck
Asked: 2024-12-13 02:51:14 +0800 CST

Racket de Identificador Desvinculado

  • 772
#lang racket

(define-syntax unpack
  (syntax-rules ()
    [(unpack) (begin (define x 1))]))

(unpack)

(+ x 1)

Por que estou recebendo um erro: x: unbound identifier in: x?

Após definir a macro, espero que o código defina x apropriado sem erro? Não consigo entender isso, pode ser um problema com a sintaxe ou o compilador?

racket

1 respostas

  1. Best Answer

    O expansor macro funciona intencionalmente dessa maneira para evitar interferir acidentalmente no xcontexto externo.

    Uma maneira de informar ao expansor que você realmente deseja usar o x externo é passá-lo.

    (define-syntax unpack
  (syntax-rules ()
    [(_ id) (begin (define id 1))]))

(unpack x)

    Outra maneira é usar datum->syntaxpara construir um identificador xno mesmo contexto em que o uso de unpackaparece.

    (define-syntax (unpack stx)
  (syntax-case stx ()
    [(k)
     (with-syntax ([id (datum->syntax #'k 'x)])
       #'(begin (define id 1)))]))

(unpack)
    • 1

relate perguntas