小编tho*_*mas的帖子

请考虑以下python会话:

>>> from BeautifulSoup import BeautifulSoup
>>> s = BeautifulSoup("<p>This <i>is</i> a <i>test</i>.</p>"); myi = s.find("i")
>>> myi.replaceWith(BeautifulSoup("was"))
>>> s.find("i")
>>> s = BeautifulSoup("<p>This <i>is</i> a <i>test</i>.</p>"); myi = s.find("i")
>>> myi.replaceWith("was")
>>> s.find("i")
<i>test</i>

请注意第4行后s.find("i")的缺失输出!

这是什么原因？有解决方法吗？

编辑:实际上,该示例未演示usecase,它是:

myi.replaceWith(BeautifulSoup("wa<b>s</b>"))

每当插入的部分包含非常重要的html代码时,我都不会看到如何用其他东西替换这种语法.只是拥有

myi.replaceWith("wa<b>s</b>")

将替换实体的html特殊字符.

如此处所述(https://github.com/sufficientlysecure/document-viewer/issues/88),我们面临的问题是,作为MuPdf Android演示的一部分的JNI库非常大.在这种情况下,这会影响Document Viewer应用程序的大小(https://f-droid.org/repository/browse/?fdid=org.sufficientlysecure.viewer).APK中的*.so文件大小超过12 MB!

在我们几个月前将MuPdf更新到最新版本之前(即文档查看器的2.5及更早版本),*.so文件每个只占3,9 MB.

你能解释这300%的增长吗？有什么我们可以改变来进一步压缩我们的JNI库吗？