leetcode 0591. tag-validator

题目描述

给定一个表示代码片段的字符串，你需要实现一个验证器来解析这段代码，并返回它是否合法。合法的代码片段需要遵守以下的所有规则：

代码必须被合法的闭合标签包围。否则，代码是无效的。
闭合标签（不一定合法）要严格符合格式：<TAG_NAME>TAG_CONTENT</TAG_NAME>。其中，<TAG_NAME>是起始标签，</TAG_NAME>是结束标签。起始和结束标签中的 TAG_NAME 应当相同。当且仅当 TAG_NAME 和 TAG_CONTENT 都是合法的，闭合标签才是合法的。
合法的 TAG_NAME 仅含有大写字母，长度在范围 [1,9] 之间。否则，该 TAG_NAME 是不合法的。
合法的 TAG_CONTENT 可以包含其他合法的闭合标签，cdata （请参考规则7）和任意字符（注意参考规则1）除了不匹配的<、不匹配的起始和结束标签、不匹配的或带有不合法 TAG_NAME 的闭合标签。否则，TAG_CONTENT 是不合法的。
一个起始标签，如果没有具有相同 TAG_NAME 的结束标签与之匹配，是不合法的。反之亦然。不过，你也需要考虑标签嵌套的问题。
一个<，如果你找不到一个后续的>与之匹配，是不合法的。并且当你找到一个<或</时，所有直到下一个>的前的字符，都应当被解析为 TAG_NAME（不一定合法）。
cdata 有如下格式：。CDATA_CONTENT 的范围被定义成之间的字符。
CDATA_CONTENT 可以包含任意字符。cdata 的功能是阻止验证器解析CDATA_CONTENT，所以即使其中有一些字符可以被解析为标签（无论合法还是不合法），也应该将它们视为常规字符。

合法代码的例子::

输入: "<DIV>This is the first line <![CDATA[<div>]]></DIV>"

输出: True

解释:

代码被包含在了闭合的标签内： <DIV> 和 </DIV> 。

TAG_NAME 是合法的，TAG_CONTENT 包含了一些字符和 cdata 。

即使 CDATA_CONTENT 含有不匹配的起始标签和不合法的 TAG_NAME，它应该被视为普通的文本，而不是标签。

所以 TAG_CONTENT 是合法的，因此代码是合法的。最终返回True。


输入: "<DIV>>>  ![cdata[]] <![CDATA[<div>]>]]>]]>>]</DIV>"

输出: True

解释:

我们首先将代码分割为： start_tag|tag_content|end_tag 。

start_tag -> "<DIV>"

end_tag -> "</DIV>"

tag_content 也可被分割为： text1|cdata|text2 。

text1 -> ">>  ![cdata[]] "

cdata -> "<![CDATA[<div>]>]]>" ，其中 CDATA_CONTENT 为 "<div>]>"

text2 -> "]]>>]"


start_tag 不是 "<DIV>>>" 的原因参照规则 6 。
cdata 不是 "<![CDATA[<div>]>]]>]]>" 的原因参照规则 7 。

不合法代码的例子::

输入: "<A>  <B> </A>   </B>"
输出: False
解释: 不合法。如果 "<A>" 是闭合的，那么 "<B>" 一定是不匹配的，反之亦然。

输入: "<DIV>  div tag is not closed  <DIV>"
输出: False

输入: "<DIV>  unmatched <  </DIV>"
输出: False

输入: "<DIV> closed tags with invalid tag name  <b>123</b> </DIV>"
输出: False

输入: "<DIV> unmatched tags with invalid tag name  </1234567890> and <CDATA[[]]>  </DIV>"
输出: False

输入: "<DIV>  unmatched start tag <B>  and unmatched end tag </C>  </DIV>"
输出: False

注意:

为简明起见，你可以假设输入的代码（包括提到的任意字符）只包含数字, 字母, '<','>','/','!','[',']'和' '。

代码实现

func isValid(code string) bool {
	// isAvailbleTagName 返回 true， 当 code[i:j] 符合 TAG_NAME 的命名规范时
	isAvailbleTagName := func(i, j int) bool {
		if i > j || //code[i:] 中没有 ">"
			i == j || // TAG_NAME 为 ""
			i+9 < j { // TAG_NAME 长度超过 9
			return false
		}
		for k := i; k < j; k++ {
			if code[k] < 'A' || code[k] > 'Z' {
				// TAG_NAME 中存在非大写字母
				return false
			}
		}
		return true
	}

	//store tag(start,end)
	stack := make([]string, 0, 16)
	for i := 0; i < len(code); {
		// 所有的内容都应该在 tag 中
		// 所以，除非 i == 0
		// stack 中都应该至少有一个 TAG_NAME
		if i > 0 && len(stack) == 0 {
			return false
		}

		switch {
		case strings.HasPrefix(code[i:], "<![CDATA["):
			i += 9
			//j is index of "]]>" in code
			j := i + strings.Index(code[i:], "]]>")
			//not found "]]>"
			if i > j {
				return false
			}
			i = j + 3
		case strings.HasPrefix(code[i:], "</"):
			//end tag
			i += 2
			//j is index of ">" in code
			j := i + strings.Index(code[i:], ">")
			//code[i,j] is tagName
			if !isAvailbleTagName(i, j) {
				return false
			}
			tagName := code[i:j]
			i = j + 1
			n := len(stack)
			//there is no start tag || tagName not match
			if n == 0 || stack[n-1] != tagName {
				return false
			}
			//start tag , end tag match,remove the tags
			stack = stack[:n-1]
		case code[i] == '<':
			//start tag
			i++
			j := i + strings.Index(code[i:], ">")
			if !isAvailbleTagName(i, j) {
				return false
			}
			tagName := code[i:j]
			i = j + 1
			stack = append(stack, tagName)
		default:
			i++
		}
	}
	// len(stack) != 0 说明， TAG 没有封闭
	return len(stack) == 0
}

GitHub

源码在这里

公众号「tomorrowwu」，编程·职场·思维