IntlChar::isJavaIDStart

(PHP 7, PHP 8)

IntlChar::isJavaIDStart — 检查代码点是否允许作为 Java 标识符的第一个字符

描述

public static IntlChar::isJavaIDStart(int|string $codepoint): ?bool

确定指定的字符是否允许作为 Java 标识符的开头。

除了 IntlChar::isIDStart() 之外，对于具有通用类别“Sc”（货币符号）和“Pc”（连接标点符号）的字符，返回 true。

参数

codepoint: int 代码点值（例如，U+2603 SNOWMAN 的 0x2603），或编码为 UTF-8 string 的字符（例如 "\u{2603}"）

返回值

如果 codepoint 可以作为 Java 标识符的开头，则返回 true，否则返回 false。失败时返回 null。

示例

示例 #1 测试不同的代码点

<?php
var_dump(IntlChar::isJavaIDStart("A"));
var_dump(IntlChar::isJavaIDStart("$"));
var_dump(IntlChar::isJavaIDStart("\n"));
var_dump(IntlChar::isJavaIDStart("\u{2603}"));
?>

以上示例将输出

bool(true)
bool(true)
bool(false)
bool(false)

参见

IntlChar::isIDStart() - 检查代码点是否允许作为标识符的第一个字符
IntlChar::isJavaIDPart() - 检查代码点是否允许在 Java 标识符中使用
IntlChar::isalpha() - 检查代码点是否为字母字符

发现问题？

了解如何改进此页面 • 提交拉取请求 • 报告错误

＋添加注释

用户贡献注释

此页面没有用户贡献的注释。