![\"Objct](\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63134535ef7.png\")
<\/p>\n\u6839\u64da\u6240\u63d0\u4f9b\u7684\u8b1b\u7fa9\u8cc7\u6599\uff0c\u672c\u6307\u5357\u6db5\u84cb\u4e86\u7269\u4ef6\u7d04\u675f\u8a9e\u8a00\uff08OCL\uff09\u5728UML\u5efa\u6a21\u80cc\u666f\u4e0b\u7684\u57fa\u672c\u6982\u5ff5\u3001\u8a9e\u6cd5\u53ca\u5be6\u969b\u61c9\u7528\u3002<\/p>\n
<\/p>\n
\u96d6\u7136UML\u5716\u8868\uff08\u4f8b\u5982\u985e\u5225\u5716\uff09\u5728\u53ef\u8996\u5316\u7d50\u69cb\u65b9\u9762\u8868\u73fe\u51fa\u8272\uff0c\u4f46\u7121\u6cd5\u8868\u9054\u898f\u683c\u4e2d\u6240\u6709\u76f8\u95dc\u7684\u9762\u5411\u3002<\/p>\n
\u81ea\u7136\u8a9e\u8a00<\/strong>\u5177\u6709\u6b67\u7fa9\u6027\u3002<\/p>\n<\/li>\n \u50b3\u7d71\u7684\u6b63\u5f0f\u8a9e\u8a00<\/strong>\u96d6\u7121\u6b67\u7fa9\uff0c\u4f46\u5c0d\u4e00\u822c\u7cfb\u7d71\u5efa\u6a21\u8005\u800c\u8a00\u904e\u65bc\u56f0\u96e3\uff0c\u96e3\u4ee5\u95b1\u8b80\u8207\u64b0\u5beb\u3002<\/p>\n<\/li>\n OCL<\/strong>\u00a0\u5f4c\u88dc\u4e86\u9019\u9805\u5dee\u8ddd\uff1a\u5b83\u662f\u4e00\u7a2e\u00a0\u6b63\u5f0f\u8a9e\u8a00<\/strong>\u00a0\u7528\u4f86\u8868\u9054\u7cbe\u78ba\u7684\u7d04\u675f\uff0c\u4f46\u4ecd\u7136\u4fdd\u6301\u00a0\u6613\u65bc\u95b1\u8b80\u8207\u64b0\u5beb<\/strong>.<\/p>\n<\/li>\n<\/ul>\n \u7d14\u7cb9\u7684\u8868\u793a\u5f0f\u8a9e\u8a00\uff1a<\/strong>\u00a0\u8868\u793a\u5f0f\u4e0d\u6703\u7522\u751f\u526f\u4f5c\u7528\u3002\u8a55\u4f30\u4e00\u500bOCL\u8868\u793a\u5f0f\u6703\u50b3\u56de\u4e00\u500b\u503c\uff0c\u4f46\u00a0\u7121\u6cd5<\/em>\u00a0\u6539\u8b8a\u7cfb\u7d71\u7684\u72c0\u614b\u3002\u7136\u800c\uff0c\u5b83\u80fd\u5920\u00a0\u63cf\u8ff0<\/em>\u00a0\u72c0\u614b\u7684\u6539\u8b8a\uff08\u4f8b\u5982\uff0c\u5728\u5f8c\u7f6e\u689d\u4ef6\u4e2d\uff09\u3002<\/p>\n<\/li>\n \u4e26\u975e\u7a0b\u5f0f\u8a9e\u8a00\uff1a<\/strong>\u00a0\u4f60\u7121\u6cd5\u64b0\u5beb\u7a0b\u5f0f\u908f\u8f2f\u3001\u63a7\u5236\u6d41\u7a0b\uff0c\u6216\u547c\u53eb\u6703\u6539\u8b8a\u72c0\u614b\u7684\u7a0b\u5e8f\/\u4f5c\u696d\u3002<\/p>\n<\/li>\n \u985e\u578b\u8a9e\u8a00\uff1a<\/strong>\u00a0\u6bcf\u500b\u8868\u793a\u5f0f\u90fd\u5177\u6709\u985e\u578b\u3002\u5408\u4e4e\u683c\u5f0f\u7684\u8868\u793a\u5f0f\u5fc5\u9808\u9075\u5b88\u985e\u578b\u76f8\u5bb9\u898f\u5247\u3002\u6bcf\u500bUML\u5206\u985e\u5668\u90fd\u662fOCL\u7684\u4e00\u7a2e\u985e\u578b\u3002<\/p>\n<\/li>\n \u5373\u6642\u8a55\u4f30\uff1a<\/strong>\u00a0\u7269\u4ef6\u7684\u72c0\u614b\u5728\u8a55\u4f30OCL\u8868\u793a\u5f0f\u671f\u9593\u7121\u6cd5\u6539\u8b8a\u00a0\u671f\u9593<\/em>\u00a0OCL\u8868\u793a\u5f0f\u7684\u8a55\u4f30\u904e\u7a0b\u4e2d\u3002<\/p>\n<\/li>\n<\/ol>\n \u6bcf\u500bOCL\u8868\u793a\u5f0f\u90fd\u662f\u5728\u7279\u5b9aUML\u5206\u985e\u5668\uff08\u985e\u5225\u3001\u4ecb\u9762\u7b49\uff09\u7684\u4e0a\u4e0b\u6587\u4e2d\u9032\u884c\u8a55\u4f30\u3002<\/p>\n \u8a3b\u89e3\uff1a<\/strong>\u4ee5\u00a0\u8868\u793a \u4e2d\u7db4\u904b\u7b97\u5b50\uff1a<\/strong>\u60a8\u53ef\u4ee5\u4f7f\u7528\u6a19\u6e96\u7684\u6578\u5b78\/\u908f\u8f2f\u904b\u7b97\u5b50\uff08 \u4f7f\u7528\u9ede\u7b26\u865f\u4f86\u5b58\u53d6\u5c6c\u6027\u6216\u64cd\u4f5c\u3002\u5373\u4f7f\u64cd\u4f5c\u6c92\u6709\u53c3\u6578\uff0c\u4e5f\u5fc5\u9808\u4f7f\u7528\u62ec\u865f\u3002<\/p>\n OCL \u5305\u542b\u5177\u6709\u7279\u5b9a\u64cd\u4f5c\u7684\u6a19\u6e96\u985e\u578b\uff1a<\/p>\n \u5e03\u6797\u503c\uff1a<\/strong>\u00a0 \u6574\u6578 \/ \u5be6\u6578\uff1a<\/strong>\u00a0\u6578\u5b57 (\u64cd\u4f5c\uff1a\u00a0 \u5b57\u4e32\uff1a<\/strong>\u00a0\u6587\u5b57\uff08\u904b\u7b97\uff1a\u00a0 \u96c6\u5408\u662f\u7528\u4f86\u5132\u5b58\u591a\u500b\u5143\u7d20\u7684\u62bd\u8c61\u985e\u578b\u3002\u5b83\u5011\u4f7f\u7528\u00a0 \u96c6\u5408\uff1a<\/strong>\u00a0\u6578\u5b78\u96c6\u5408\uff08\u7121\u91cd\u8907\u9805\u76ee\uff0c\u7121\u9806\u5e8f\uff09\u3002\u00a0 \u6709\u5e8f\u96c6\u5408\uff1a<\/strong>\u00a0\u7121\u91cd\u8907\u9805\u76ee\uff0c\u4f46\u4f9d\u4f4d\u7f6e\u6392\u5e8f\u3002\u00a0 \u96c6\u5408\uff1a<\/strong>\u00a0\u5141\u8a31\u91cd\u8907\u9805\u76ee\uff0c\u7121\u9806\u5e8f\u3002\u00a0 \u5e8f\u5217\uff1a<\/strong>\u00a0\u5141\u8a31\u91cd\u8907\u9805\u76ee\uff0c\u6709\u9806\u5e8f\u3002\u00a0 \u6ce8\u610f\uff1a<\/em>\u00a0\u9019\u500b\u00a0 \u5e38\u898b\uff1a<\/strong>\u00a0 \u8fed\u4ee3\u5668\uff08OCL \u7684\u95dc\u9375\uff09\uff1a<\/strong><\/p>\n \u8fed\u4ee3\u5668\u8a9e\u6cd5\u8b8a\u9ad4\uff1a<\/em><\/p>\n OCL \u88ab\u5ee3\u6cdb\u7528\u4f5c\u5c0e\u822a\u8a9e\u8a00\uff0c\u7528\u65bc\u904d\u6b77\u95dc\u806f\u3002<\/p>\n \u4f7f\u7528\u76f8\u53cd\u7684\u89d2\u8272\u540d\u7a31\u9032\u884c\u5c0e\u822a\u3002\u8fd4\u56de\u985e\u578b\u53d6\u6c7a\u65bc\u591a\u91cd\u6027\uff1a<\/p>\n \u591a\u91cd\u6027\u00a0 \u591a\u91cd\u6027\u00a0 \u5982\u679c\u7f3a\u5c11\u89d2\u8272\u540d\u7a31\uff0c\u8acb\u4f7f\u7528\u53e6\u4e00\u7aef\u985e\u5225\u7684\u5c0f\u5beb\u540d\u7a31\uff08\u4f8b\u5982\u00a0 \u4f7f\u7528\u95dc\u806f\u985e\u5225\u7684\u5c0f\u5beb\u540d\u7a31\u5c0e\u822a\u81f3\u95dc\u806f\u985e\u5225\u3002<\/p>\n \u7576\u4e00\u500b\u95dc\u806f\u8ff4\u5708\u56de\u5230\u540c\u4e00\u500b\u985e\u5225\u6642\uff08\u4f8b\u5982\uff0c\u5169\u500b Person \u4e4b\u9593\u7684\u5a5a\u59fb\uff09\uff0c\u5fc5\u9808\u4f7f\u7528\u65b9\u62ec\u865f\u6307\u5b9a\u65b9\u5411\u00a0 \u4f7f\u7528\u65b9\u62ec\u865f\u4e2d\u7684\u9650\u5b9a\u7b26\u5c6c\u6027\u4f86\u9078\u64c7\u7279\u5b9a\u7684\u7269\u4ef6\u3002<\/p>\n \u4f7f\u7528\u00a0 \u5fc5\u9808\u00a0\u6c38\u9060<\/strong>\u00a0\u70ba\u6240\u6709\u985e\u5225\u5be6\u4f8b\u70ba\u771f\u3002<\/p>\n \u8207\u64cd\u4f5c\u76f8\u95dc\u7684\u7d04\u675f\u3002<\/p>\n \u5982\u679c\u5b50\u8868\u793a\u5f0f\u672a\u5b9a\u7fa9\uff08\u4f8b\u5982\uff0c\u5c0e\u822a\u81f3\u7a7a\u95dc\u806f\uff09\uff0c\u5247\u6574\u500b\u8868\u793a\u5f0f\u70ba\u672a\u5b9a\u7fa9\u3002\u7136\u800c\uff0c\u5e03\u6797\u904b\u7b97\u5b50\u5177\u6709\u77ed\u8def\u4f8b\u5916\uff1a<\/p>\nOCL\u7684\u6838\u5fc3\u7279\u6027<\/h3>\n
\n
\n2. \u57fa\u672c\u8a9e\u6cd5\u8207\u8a9e\u7fa9<\/h2>\n
\u4e0a\u4e0b\u6587\u8207Self<\/h3>\n
\n
\u4e0a\u4e0b\u6587<\/code><\/strong>\uff1a\u5b9a\u7fa9\u7d04\u675f\u6240\u9069\u7528\u7684\u985e\u5225\u3002<\/p>\n<\/li>\nself<\/code><\/strong>\uff1a\u4e00\u500b\u4fdd\u7559\u5b57\uff0c\u6307\u4ee3\u6b63\u5728\u8a55\u4f30\u7684\u4e0a\u4e0b\u6587\u985e\u5225\u7684\u7279\u5b9a\u5be6\u4f8b\u3002<\/p>\n<\/li>\n<\/ul>\n\u4e0a\u4e0b\u6587 Person\r\n-- 'self' \u6307\u4ee3 Person \u7684\u7279\u5b9a\u5be6\u4f8b\r\n<\/code><\/pre>\n\u8a3b\u89e3\u8207\u904b\u7b97\u5b50<\/h3>\n
\n
--<\/code>\uff08\u4f8b\u5982\uff0c-- \u9019\u662f\u4e00\u500b\u8a3b\u89e3<\/code>).<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0=<\/code>,\u00a0<<\/code>\uff09\u3002\u5728\u6982\u5ff5\u4e0a\uff0ca + b<\/code>\u7b49\u540c\u65bca.+(b)<\/code>.<\/p>\n<\/li>\n<\/ul>\n\u5b58\u53d6\u5c6c\u6027<\/h3>\n
\u4e0a\u4e0b\u6587 Person\r\nself.age -- \u5b58\u53d6 'age' \u5c6c\u6027\r\nself.stockPrice() -- \u547c\u53eb 'stockPrice' \u64cd\u4f5c\r\n<\/code><\/pre>\n
\n3. \u985e\u578b\u8207\u96c6\u5408<\/h2>\n
\u57fa\u672c\u9810\u5b9a\u7fa9\u985e\u578b<\/h3>\n
\n
true<\/code>,\u00a0false<\/code>\u00a0(\u64cd\u4f5c\uff1a\u00a0and<\/code>,\u00a0or<\/code>,\u00a0not<\/code>,\u00a0implies<\/code>,\u00a0xor<\/code>)<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0*<\/code>,\u00a0\/<\/code>,\u00a0\u7d55\u5c0d\u503c<\/code>,\u00a0\u6700\u5927\u503c<\/code>,\u00a0\u6700\u5c0f\u503c<\/code>,\u00a0\u9664\u6cd5<\/code>,\u00a0\u53d6\u6a21<\/code>)<\/p>\n<\/li>\n\u5927\u5c0f<\/code>,\u00a0\u4e32\u63a5<\/code>,\u00a0\u5b50\u5b57\u4e32<\/code>,\u00a0\u8f49\u70ba\u6574\u6578<\/code>)<\/p>\n<\/li>\n<\/ul>\n\u96c6\u5408<\/h3>\n
-><\/code>\u00a0\u7b26\u865f\u4f86\u5b58\u53d6\u3002<\/p>\n\n
\u96c6\u5408 {1, 2, 5}<\/code><\/p>\n<\/li>\n\u6709\u5e8f\u96c6\u5408 {5, 4, 3}<\/code><\/p>\n<\/li>\n\u96c6\u5408 {1, 2, 2, 5}<\/code><\/p>\n<\/li>\n\u5e8f\u5217 {1, 2, 5, 10}<\/code><\/p>\n\n
..<\/code>\u00a0\u7b26\u865f\u6703\u5efa\u7acb\u4e00\u7d44\u9023\u7e8c\u7684\u6574\u6578\uff1a\u00a0\u5e8f\u5217 {1..5}<\/code>.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\n\u95dc\u9375\u96c6\u5408\u904b\u7b97<\/h3>\n
\n
size()<\/code>,\u00a0isEmpty()<\/code>,\u00a0notEmpty()<\/code>,\u00a0includes(v)<\/code>,\u00a0excludes(v)<\/code>,\u00a0count(v)<\/code>,\u00a0sum()<\/code>.<\/p>\n<\/li>\n\n
select(expr)<\/code>: \u8fd4\u56de\u5143\u7d20\uff0c\u5176\u4e2d\u00a0expr<\/code>\u00a0\u70ba\u771f\u3002<\/p>\n<\/li>\nreject(expr)<\/code>: \u8fd4\u56de\u5143\u7d20\uff0c\u5176\u4e2d\u00a0expr<\/code>\u00a0\u70ba\u5047\u3002<\/p>\n<\/li>\ncollect(expr)<\/code>: \u5f9e\u6240\u6709\u5143\u7d20\u4e2d\u63d0\u53d6\u7279\u5b9a\u5c6c\u6027\uff0c\u4e26\u653e\u5165\u65b0\u7684\u96c6\u5408\u4e2d\u3002<\/p>\n<\/li>\nforAll(expr)<\/code>: \u8fd4\u56de\u00a0true<\/code>\u00a0\u5982\u679c\u00a0expr<\/code>\u00a0\u5c0d\u81f3\u5c11\u4e00\u500b\u5143\u7d20\u70ba\u771f\u3002\u6240\u6709<\/em>\u00a0\u5143\u7d20\u3002<\/p>\n<\/li>\nexists(expr)<\/code>: \u8fd4\u56de\u00a0true<\/code>\u00a0\u5982\u679c\u00a0expr<\/code>\u00a0\u5c0d\u81f3\u5c11\u4e00\u500b\u5143\u7d20\u70ba\u771f\u3002\u81f3\u5c11\u4e00\u500b<\/em>\u00a0\u5143\u7d20\u3002<\/p>\n<\/li>\niterate(elem; acc = init | expr)<\/code>: \u6240\u6709\u8fed\u4ee3\u5668\u7684\u901a\u7528\u57fa\u790e\u3002<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\nself.employee->select(age > 50)\r\nself.employee->select(p | p.age > 50)\r\nself.employee->select(p: Person | p.age > 50)\r\n<\/code><\/pre>\n
\n4. \u5c0e\u822a UML \u6a21\u578b<\/h2>\n
\u6a19\u6e96\u5c0e\u822a<\/h3>\n
\n
1<\/code>\u00a0\u6216\u00a00..1<\/code>:<\/strong>\u00a0\u8fd4\u56de\u55ae\u500b\u7269\u4ef6\u3002<\/p>\n<\/li>\n*<\/code>:<\/strong>\u00a0\u8fd4\u56de\u4e00\u500b\u00a0\u96c6\u5408<\/code>\u00a0\uff08\u6216\u00a0\u6709\u5e8f\u96c6\u5408<\/code>\u00a0\u5982\u679c\u6a19\u8a18\u70ba\u00a0{\u6709\u5e8f}<\/code>).<\/p>\n<\/li>\n<\/ul>\n\u4e0a\u4e0b\u6587 Company\r\nself.manager.age > 40 -- manager \u662f 0..1\uff0c\u8fd4\u56de\u4e00\u500b Person \u7269\u4ef6\r\nself.employee->notEmpty() -- employee \u662f 0..*\uff0c\u8fd4\u56de\u4e00\u500b\u96c6\u5408\r\n<\/code><\/pre>\nself.bank<\/code>).<\/em><\/p>\n\u95dc\u806f\u985e\u5225<\/h3>\n
\u4e0a\u4e0b\u6587 Person\r\nself.job->size() >= 1 -- 'job' \u662f Person \u8207 Company \u4e4b\u9593\u7684\u95dc\u806f\u985e\u5225\r\n<\/code><\/pre>\n\u905e\u6b78\u95dc\u806f<\/h3>\n
[\u89d2\u8272\u540d\u7a31]<\/code>.<\/p>\n\u4e0a\u4e0b\u6587 \u4eba\u54e1\r\nself.marriage[\u59bb\u5b50]->select(m | m.\u7d50\u675f = false)->size() = 1\r\n<\/code><\/pre>\n\u5df2\u9650\u5b9a\u7684\u95dc\u806f<\/h3>\n
\u4e0a\u4e0b\u6587 \u9280\u884c\r\nself.customer[12345] -- \u56de\u50b3\u5e33\u6236\u7de8\u865f\u70ba 12345 \u7684\u7279\u5b9a\u4eba\u54e1\r\nself.customer -- \u56de\u50b3\u6240\u6709\u5ba2\u6236\u7684\u96c6\u5408\r\n<\/code><\/pre>\n\u91cd\u65b0\u985e\u578b\u5316\uff08\u8f49\u578b\uff09<\/h3>\n
oclAsType()<\/code>\u00a0\u4f86\u5b58\u53d6\u5b50\u985e\u5225\u6216\u96b1\u85cf\u7684\u8d85\u985e\u5225\u5c6c\u6027\u3002<\/p>\nself.oclAsType(\u5b50).p -- \u5b58\u53d6\u5728\u5b50\u985e\u5225\u4e2d\u5b9a\u7fa9\u7684\u5c6c\u6027 'p'\r\nself.oclAsType(\u8d85).p -- \u5b58\u53d6\u5728\u8d85\u985e\u5225\u4e2d\u5b9a\u7fa9\u7684\u5c6c\u6027 'p'\r\n<\/code><\/pre>\n
\n5. \u5beb\u5165\u7d04\u675f<\/h2>\n
1. \u4e0d\u8b8a\u5f0f\uff08
inv<\/code>)<\/h3>\n\u4e0a\u4e0b\u6587 \u516c\u53f8 \r\ninv: self.\u54e1\u5de5\u4eba\u6578 <= 50\r\ninv SME: self.\u80a1\u7968\u50f9\u683c() > 0 -- 'SME' \u662f\u7d04\u675f\u7684\u53ef\u9078\u540d\u7a31\r\n<\/code><\/pre>\n2. \u524d\u7f6e\u8207\u5f8c\u7f6e\u689d\u4ef6\uff08
pre<\/code>,\u00a0post<\/code>)<\/h3>\n\n
pre<\/code><\/strong>: \u5fc5\u9808\u70ba\u771f\u00a0\u57f7\u884c\u524d<\/em>\u00a0\u57f7\u884c\u3002<\/p>\n<\/li>\npost<\/code><\/strong>: \u5fc5\u9808\u70ba\u771f\u00a0\u57f7\u884c\u5f8c<\/em>\u57f7\u884c\u3002\u4f7f\u7528\u7d50\u679c<\/code>\u7528\u65bc\u8fd4\u56de\u503c\u3002<\/p>\n<\/li>\n@pre<\/code><\/strong>\uff1a\u7528\u65bc\u5f8c\u7f6e\u689d\u4ef6\u4e2d\u53c3\u8003\u5c6c\u6027\u7684\u503c\u64cd\u4f5c\u958b\u59cb\u524d<\/em>\u64cd\u4f5c\u958b\u59cb\u524d\u3002<\/p>\n<\/li>\n<\/ul>\n\u4e0a\u4e0b\u6587 Person::income(): Integer\r\npre adult: self.age >= 18\r\npost resultOK: result < 5000\r\n\r\n\u4e0a\u4e0b\u6587 Company::hireEmployee(p: Person)\r\npost: employee = employee@pre->including(p)\r\n<\/code><\/pre>\n3. \u8eab\u9ad4\u3001\u521d\u59cb\u8207\u884d\u751f\u8868\u793a\u5f0f<\/h3>\n
\n
body<\/code><\/strong>\uff1a\u5b9a\u7fa9\u67e5\u8a62\u64cd\u4f5c\u7684\u7d50\u679c\uff08\u53ef\u70ba\u905e\u8ff4\uff09\u3002<\/p>\n<\/li>\ninit<\/code><\/strong>\uff1a\u5b9a\u7fa9\u5c6c\u6027\u7684\u521d\u59cb\u503c\u3002<\/p>\n<\/li>\nderive<\/code><\/strong>\uff1a\u5b9a\u7fa9\u884d\u751f\u5c6c\u6027\u3002<\/p>\n<\/li>\n<\/ul>\n\u4e0a\u4e0b\u6587 Person::income(): Integer\r\nbody: self.job.salary->sum()\r\n\r\n\u4e0a\u4e0b\u6587 Person::isMarried: Boolean\r\ninit: false\r\n\r\n\u4e0a\u4e0b\u6587 Company::noEmployees: Integer\r\nderive: self.employee->size()\r\n<\/code><\/pre>\n
\n6. \u9032\u968e OCL \u529f\u80fd<\/h2>\n
Let \u8207 Def \u8868\u793a\u5f0f<\/h3>\n
\n
let<\/code><\/strong>\uff1a\u5728\u55ae\u4e00\u8868\u793a\u5f0f\u4e2d\u5b9a\u7fa9\u5340\u57df\u8b8a\u6578\u3002<\/p>\nlet totHours: Integer = self.worksOn->collect(hours)->sum() in totHours >= 30\r\n<\/code><\/pre>\n<\/li>\ndef<\/code><\/strong>\uff1a\u5b9a\u7fa9\u53ef\u91cd\u8907\u4f7f\u7528\u7684\u8b8a\u6578\u6216\u8207\u5206\u985e\u5668\u76f8\u95dc\u7684\u904b\u7b97\u3002<\/p>\ndef: hasTitle(t: String): Boolean = self.job->exists(title = t)\r\n<\/code><\/pre>\n<\/li>\n<\/ul>\n\u672a\u5b9a\u7fa9\u503c\uff08\u4e09\u503c\u908f\u8f2f\uff09<\/h3>\n
\n
true or <\u672a\u5b9a\u7fa9><\/code>\u00a0=\u00a0true<\/strong><\/p>\n<\/li>\n