问题标签 [well-formed]

我正在构建一个程序来恢复句子的括号，以使它们成为格式正确的公式（句子逻辑中的 WFF）。例如，

- 这句话a是一个WFF。

- 该句子a > b只有一种方法可以恢复括号以使其成为 WFF，即(a > b).

- 该句子a > b > c有两种方法可以恢复括号以使其成为 WFF - 要么((a > b) > c)要么(a > (b > c))。

该算法有一个迭代和递归元素

我的输出(a>(b>c))应该是(a>(b>c))AND ((a>b)>c)。这是因为递归函数内部的循环永远不会选择第二个运算符来执行递归调用。当 return 语句在 for 循环之外时，输出为((a>b)>c)

如何使函数通过所有运算符（也就是为每个函数调用执行整个循环）

我正在尝试通过 Smack 发送具有以下格式的字符串作为消息：

我正在生成这样的参数：

现在，当我尝试发送此消息时，我收到以下错误：

org.jivesoftware.smack.AbstractXMPPConnection callConnectionClosedOnErrorListener WARNING: Connection XMPPTCPConnection[hemodd2@192.168.123.242/88381984845654635827858] (0) closed with error org.jivesoftware.smack.XMPPException$StreamErrorException: not-well-formed 你可以阅读更多关于http://xmpp.org/rfcs/rfc6120.html#streams-error-conditions上的此流错误 格式不正确（无效令牌）

消息格式似乎与 Smack 的内部工作原理发生冲突，因为我可以毫无问题地发送诸如“Hello World”之类的正常消息。我知道我需要重新格式化消息，但我不知道该怎么做。我已经阅读了错误描述中的链接页面，但仍然不明白确切的问题。任何帮助表示赞赏。

C++ 标准定义well-formed programs为

根据语法规则、可诊断语义规则和单定义规则构造的C++程序

我想知道是否所有格式良好的程序都可以编译（如果不是这种情况，什么类型的错误会影响格式正确的程序和可编译问题之间的差异）。例如，包含歧义错误的程序是否会被视为格式正确？

假设我们有一个不可复制的类型X：

然后，自然地，我们不能复制具有Xas 值类型的容器：

我的问题是，涉及此类副本的表达式是否格式正确？例如，下面的表达式编译：

我在问，因为我遇到了以下问题：

哪个打印出来01。这有点违反直觉，std::set<X>“报告”是可复制构造的，而实际上它不是（通过它的复制构造函数不能被调用）。

换句话说，XMLDocument 是否比 XmlReader 更有效地验证格式良好的 xml 文档？从内存的角度来看，如果您有一个大型 XML 文件并使用 XMLDocument，您可能会以内存不足异常结束。

我正在使用一个变量来定义 PHP 图像中的颜色。有一些代码。

这会生成一个带有 GD 库的示例图像，该图像应该能够为中间和右侧矩形设置两种自定义颜色，左侧矩形始终为颜色 0x1c1c1c，即灰黑色。中间的矩形工作正常——毕竟，你只是将三个数字传递给 ImageColorAllocate 命令——但右边的矩形出错，出现“格式不正确的数值”。当 $black 以相同的方式格式化时，为什么会发生这种情况？有没有办法让我使用单个变量来定义颜色，而不是三个？

[2021 年 3 月 31 日星期三 15:15:02.838650] [php7:notice] [pid 10089] [client 45.74.102.92:62479] PHP 注意：在 /var/www/html/test.php 中遇到的格式不正确的数值第 15 行

问题是，在我从 SEC 抓取的一些 xml 文件中，标签内有换行符。因此，这些 xml 文件格式不正确。

我的第一个想法是，这是因为utf-8和ISO-8859-1的编码不同，但是改了编码后问题依旧。我的下一个解决方案是一个正则表达式，它检测标签内的那些换行符，但由于它们可能出现在任何地方，这个解决方案不是很可靠。

你们对如何解决这个问题有任何想法吗？

我希望验证 URL 类似于可以使用 Test-Path 对文件系统和注册表路径执行的操作。

但是，当然，Test-Path不适用于 URL，而且我一直无法在 PowerShell 中找到执行此操作的方法。

我可以使用Invoke-WebRequest，但据我所知，没有验证，如果找到它，我可以获得返回码 200，如果没有，我可以获得 404。

唯一的例外是无效的主机名，例如host,com，这让我想知道：

• 除了无效的主机名之外，是否存在无效 URL 之类的东西？

• 或者，一旦正确定义了端口和主机，它基本上是 URL 路径中有效的任何字符吗？

对于下面的同步模型，确定它是否是良构和建设性的，如果是，确定信号 s1 和 s2 的可能值序列。请注意，机器 A 是不确定的。

没有空元素自我关闭的xml可以形成良好的格式吗？

像这样的任何东西：

代替：

它会形成良好的形式吗？我可以在哪里读到它？主要来自 w3c。

提前致谢