CPP13 — Valuetype "copying" semantics underspecified? (C++ Issue # 2)

C++ issue #2: The ValueBase::_copy_value() function should be
deprecated in favor of a new ValueBase::_clone_value() operation:

// IDL
module CORBA {
abstract valuetype CloneContext { };
};

// C++
namespace CORBA {
...
class ValueBase

;
...
};

The _clone_value() function provides an independant copy of the
valuetype it is invoked on. Any valuetypes reachable via the state of
the original valuetype are also copied, and relationships between
original valuetype(s) will be preserved in the cloned copies. The
CloneContext argument provides the necessary state information for the
ORB to properly maintain relationships between copied valuetypes. If
_clone_value() is called with a null CloneContext, a new CloneContext
will be generated and returned by the ORB as a result of the call.