PHP의 범위 운영자를 다시 구현합니다

sitepoint 멋진 기사 권장 사항 : 개선 된 PHP 범위 운영자 구현 이 기사는 itepoint에서 저자의 승인과 함께 재현됩니다. 다음 컨텐츠는 Thomas Punt가 작성하고 PHP 범위 운영자의 개선 된 구현 방법을 소개합니다. PHP 내부에 관심이 있고 좋아하는 프로그래밍 언어에 기능을 추가한다면 이제 배우기에 좋은시기입니다!

이 기사는 독자가 소스 코드에서 PHP를 구축 할 수 있다고 가정합니다. 그렇지 않은 경우 먼저 PHP 내부 메커니즘 책의 "Building PHP"장을 읽으십시오.

이전 기사에서 (팁 : 읽었는지 확인하십시오) PHP에서 범위 운영자를 구현하는 방법을 보여주었습니다. 그러나 초기 구현이 가장 좋지 않으므로이 기사는 이전 구현을 개선하는 방법을 탐색하는 것을 목표로합니다.

이 기사를 교정 해 주신 Nikita Popov에 다시 한 번 감사드립니다!

키 포인트

Thomas Punt는 PHP의 레인지 연산자를 상환하여 Zend 가상 머신에서 계산 논리를 옮기고 일정한 표현식의 맥락에서 범위 운영자를 사용할 수 있습니다.

이 재 구현은 컴파일 시간 (문자류의 경우) 또는 런타임 (동적 피연산자)에서 계산할 수 있습니다. 이를 통해 OPCache 사용자에게 약간의 이점이있을뿐만 아니라 범위 운영자와 함께 일정한 표현식 기능을 사용할 수 있습니다.

---

재 구현 프로세스에는 Lexer, Parser, Compilation Stage 및 Zend Virtual Machine을 업데이트하는 것이 포함됩니다. 어휘 분석기 구현은 동일하게 유지되는 반면 파서 구현은 이전 부분과 동일합니다. 컴파일 단계는 바이너리 작업을 처리하는 데 필요한 논리가 포함되어 있으므로 Zend/Zend_compile.c 파일을 업데이트 할 필요가 없습니다. Zend Virtual Machine은 런타임에 Zend_Range Opcode의 실행을 처리하도록 업데이트되었습니다.

이 시리즈의 세 번째 부분에서 Punt는이 운영자를 과부하시키는 방법을 설명 하여이 구현을 구축 할 계획입니다. 이를 통해 객체를 피연산자로 사용하고 문자열에 적절한 지지대를 추가 할 수 있습니다.

이전 구현의 단점

초기 구현은 Zend_Range Opcode를 실행할 때 런타임에 순수하게 계산을 수행하도록하는 Zend Virtual Machine에 범위 연산자의 모든 논리를 배치합니다. 이는 문자 그대로의 오페라의 경우 계산을 컴파일 시간으로 전송할 수 없으며 일부 기능이 단순히 작동하지 않음을 의미합니다.

이 구현에서는 Zend Virtual Machine에서 Range Operator Logic을 이동하여 컴파일 타임 (리터럴 피연산자) 또는 런타임 (동적 피연산자)에서 계산을 수행 할 수 있습니다. 이를 통해 Opcache 사용자에게 약간의 이점이있을뿐만 아니라 더 중요한 것은 범위 운영자와 함께 일정한 표현식 기능을 사용할 수 있습니다.

예 :
• 더 이상 고민하지 않고 레인지 연산자를 상환합시다.
업데이트 어휘 분석기 어휘 분석기 구현은 완전히 변하지 않습니다. 토큰은 Zend/zend_language_scanner.l (약 1200 줄)에 처음 등록되었습니다.
• 그런 다음 Zend/zend_language_parser.y (약 220 줄)에서 선언합니다

  // 作为常量定义
  const AN_ARRAY = 1 |> 100;
  
  // 作为初始属性定义
  class A
  {
      private $a = 1 |> 2;
  }
  
  // 作为可选参数的默认值：
  function a($a = 1 |> 2)
  {
      //
  }

  ext/tokenizer 디렉토리를 입력하고 tokenizer_data_gen.sh 파일을 실행하여 토큰 화기 확장을 다시 재생해야합니다.

  업데이트 파서 파서 구현은 이전과 동일합니다. 다시 한 번 우리는 다음 줄의 끝에 t_range 토큰을 추가하여 연산자의 우선 순위와 바인딩을 선언합니다.

  그런 다음 Expr_without_variable 프로덕션 규칙을 다시 업데이트하지만 이번에는 시맨틱 조치 (브레이스 내부의 코드)가 약간 다릅니다. 다음 코드로 업데이트하십시오 (T_Spaceship 규칙에 따라 약 930 줄에 넣음) :
  이번에는 Zend_ast_binary_op Node를 생성하는 Zend_ast_create_binary_op 함수 (Zend_ast_create 함수 대신)를 사용했습니다. zend_ast_create_binary_op는 컴파일 단계에서 이진 작업을 구별하는 데 사용되는 Opcode 이름을 사용합니다.

  이제 zend_ast_binary_op 노드 유형을 재사용하고 있기 때문에 Zend/Zend_ast.h 파일에서 이전과 같이 새 zend_ast_range 노드 유형을 정의 할 필요가 없습니다.

  업데이트 컴파일 단계

  <st_in_scripting>"|>" {
  </st_in_scripting>    RETURN_TOKEN(T_RANGE);
  }

  이번에는 이진 작업을 처리하는 데 필요한 논리가 이미 포함되어 있기 때문에 Zend/Zend_compile.c 파일을 업데이트 할 필요가 없습니다. 따라서 연산자를 zend_ast_binary_op 노드로 설정 하여이 논리를 재사용하면됩니다.

  다음은 zend_compile_binary_op의 단순화 된 버전입니다.

  우리가 볼 수 있듯이, 지난번에 만든 Zend_compile_Range 함수와 매우 유사합니다. 두 가지 중요한 차이점은 Opcode 유형을 얻는 방법과 두 피연산자가 리터럴 일 때 발생하는 일입니다.

  %token T_RANGE           "|> (T_RANGE)"

  Zend_ast_binary_op 노드는이 값을 저장하여 (새로운 생산 규칙의 시맨틱 동작에 표시된 것처럼) 이진 작업을 구별하기 때문에 이번에는 AST 노드에서 이번 시간에 가져옵니다. 두 피연산자 모두 리터럴 인 경우 Zend_try_ct_eval_binary_op 함수가 호출됩니다. 이 기능은 다음과 같습니다.

  이 함수는 Opcode 유형에 따라 zend/zend_opcode.c의 get_binary_op 함수 (소스 코드)에서 콜백을 얻습니다. 즉, Zend_Range Opcode에 맞는이 기능을 업데이트해야합니다. get_binary_op 함수 (약 750 줄)에 다음 사례 문을 추가하십시오.

  이제 range_function 함수를 정의해야합니다. 이것은 다른 모든 연산자와 zend/zend_operators.c 파일에서 수행됩니다.

  기능 프로토 타입에는 Zend_api와 Zend_fastCall의 두 가지 새로운 매크로가 포함되어 있습니다. Zend_api는 함수를 공유 객체의 확장으로 컴파일 할 수 있도록 함수의 가시성을 제어하는 ​​데 사용됩니다. Zend_fastCall은보다 효율적인 통화 규칙을 사용하는 데 사용됩니다. 여기서 첫 두 매개 변수는 스택 대신 레지스터로 전달됩니다 (32 비트 빌드보다 x86에서 64 비트 빌드에 대해 더 관련성이 있습니다).

  기능 본문은 이전 기사의 Zend/Zend_vm_def.h 파일에있는 것과 매우 유사합니다. handle_exception 매크로 호출 (반환 실패로 대체)을 포함하여 VM 특정 콘텐츠가 더 이상 존재하지 않습니다. VM 코드에서). 또한 앞에서 언급했듯이 vm에서 참조를 처리하기 위해 get_opn_zval_ptr pseudo-macro (get_opn_zval_ptr_deref 대신)를 사용하지 않습니다.

  또 다른 주목할만한 차이점은 참조가 올바르게 처리되도록 ZVAL_DEFEF를 두 오페라에 적용한다는 것입니다. 이것은 이전에 VM 내부의 의사 macro get_zval_ptr_deref를 사용하여 수행되었지만 이제는이 기능으로 전송되었습니다. 컴파일 시간 처리의 경우 두 개의 피연산자는 리터럴이어야하고 참조 할 수 없기 때문에 컴파일해야하기 때문에 수행되지 않습니다. . 따라서 대부분의 운영자 기능 (성능이 중요한 경우 제외)은 VM Opcode 정의보다는 참조 처리를 수행합니다.

  > 마지막으로 Zend/Zend_operators.h 파일에 Range_Function 프로토 타입을 추가해야합니다.

  Zend Virtual Machine을 업데이트하십시오 이제 런타임에 Zend_Range Opcode의 실행을 처리하려면 Zend Virtual Machine을 다시 업데이트해야합니다. 다음 코드를 zend/zend_vm_def.h (하단)에 넣습니다

  (다시, Opcode 번호는 현재 가장 높은 Opcode 번호보다 더 크기 때문에 Zend/Zend_vm_opcodes.h 파일의 맨 아래에서 볼 수 있습니다.)

  . 모든 작업이 Range_Function에서 처리되므로 이번에는 정의가 훨씬 짧습니다. 계산 된 값을 저장하기 위해이 기능을 호출하고 현재 오프라인의 결과 피연산자를 전달하면됩니다. range_function에서 제거 된 예외 확인 및 다음 Opcode로 건너 뛰는 것은 zend_vm_next_opcode_check_exception에 대한 호출로 VM에서 여전히 처리됩니다. 또한 앞에서 언급했듯이 vm에서 참조를 처리하기 위해 get_opn_zval_ptr pseudo-macro (get_opn_zval_ptr_deref 대신)를 사용하지 않습니다.

  이제 zend/zend_vm_gen.php 파일을 실행하여 VM을 재생합니다.

  // 作为常量定义
  const AN_ARRAY = 1 |> 100;
  
  // 作为初始属性定义
  class A
  {
      private $a = 1 |> 2;
  }
  
  // 作为可选参数的默认值：
  function a($a = 1 |> 2)
  {
      //
  }

  마지막으로 아름다운 프린터는 Zend/Zend_ast.c 파일을 다시 업데이트해야합니다. 우선 순위 테이블 주석 (약 520 줄)을 업데이트하십시오

  그런 다음 그런 다음 zend_range opcode를 처리하기 위해 zend_ast_export_ex 함수에 case 문을 삽입합니다 (약 1300 줄) : .

  결론 이 기사는 계산 논리가 VM에서 이동 한 범위 운영자 구현에 대한 대안을 보여줍니다. 이는 지속적인 표현의 맥락에서 범위 운영자를 사용할 수 있다는 이점이 있습니다.

  이 시리즈의 세 번째 부분은이 구현에 구축 되어이 연산자를 과부하시키는 방법을 설명합니다. 이를 통해 객체는 피연산자 (예 : GMP 라이브러리의 오브젝트 또는 __toString 방법을 구현하는 객체)로 사용할 수 있습니다. 또한 문자열에

  적절한 를 추가하는 방법을 보여줍니다 (PHP의 현재 범위 함수에서 볼 수있는 것과는 달리). 그러나 지금은 이것이 PHP에 운영자를 구현할 때 ZE의 더 깊은 측면을 잘 보여주기를 바랍니다.

위 내용은 PHP의 범위 운영자를 다시 구현합니다의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!