C++版DS证据理论例子