这是可能的，但解决方案可能取决于 Python 实现。
例如，在 Python 2.7 中，inspect模块和sys.settrace()可以用来修改locals()在特定的框架上。这也可以在 Python/C API 中完成，但在 Python 中操作 Python 框架通常更容易管理。
在下面example.py, the update_locals()函数将更新locals()在给定的框架中：
import inspect
import sys
def _force_locals(old_frame, new_locals):
''' Force a new set of locals on a given frame.
:param old_frame: The frame to which locals will be applied.
:type old_frame: frame.
:param new_locals: What locals() should return for old_frame.
:type new_locals: dict.
.. note:: This function will force a custom trace function onto
the old_frame. Within the context of a trace function
(often used for debugging), a frame's f_locals is
modifiable. In most execution paths, f_locals is
writable but not modifiable.
'''
# Force tracing by setting the global tracing function to
# any non-None function.
if not sys.gettrace():
sys.settrace(lambda *args, **keys: None)
# Custom trace function that will force locals.
def trace(frame, event, arg):
# Update the frame's locals.
frame.f_locals.update(new_locals)
# Set frame to use default trace, preventing this trace
# function from resetting the locals on each trace call.
del frame.f_trace
# Set the old frame's trace function to the custom trace.
old_frame.f_trace = trace
def update_locals(frame, *refs):
''' Modifies a frame's locals based on the provided references.
:param frame: The frame from which a locals will be updated.
:type frame: frame.
:param refs: Iterable pair of (old_ref, new_ref) tuples.
:type refs: Iterable type of pairs.
'''
new_locals = frame.f_locals.copy()
has_changes = False
# If a frame's local has an identity patch with a provided
# reference, then update new_locals with the new reference.
for key, ref in new_locals.iteritems():
for old_ref, new_ref in refs:
if ref is old_ref:
new_locals[key] = new_ref
has_changes = True
# If new_locals has changes, then force them onto the frame.
if has_changes:
_force_locals(frame, new_locals)
互动使用：
>>> import example
>>> import inspect
>>> x = 42
>>> x
42
>>> example.update_locals(inspect.currentframe(), (x, '3.14'))
>>> x
'3.14'
The x变量引用了int(42)对象，但是example.update_locals()功能改变x参考str('3.14') object.
能够修改调用者的框架后，下一步就是对 C++ 进行猴子修补fun()在Python中构造一个实例A如果参数是一个实例str，然后委托给 C++fun(A&)函数并更新调用者的框架。
在下面的示例中，C++Spam类型和fun(Spam&)函数暴露于_examplePython 模块。
#include <iostream>
#include <string>
#include <boost/python.hpp>
/// @brief Mockup type.
class Spam
{
public:
explicit Spam(std::string str)
: str_(str)
{}
void action()
{
std::cout << "Spam::action(): " << str_ << std::endl;
}
private:
std::string str_;
};
/// @brief Mockup function.
void fun(Spam& spam)
{
std::cout << "fun() -> ";
spam.action();
}
BOOST_PYTHON_MODULE(_example)
{
namespace python = boost::python;
python::class_<Spam>("Spam", python::init<std::string>());
python::def("fun", &fun);
}
更高层次example模块将猴子补丁_example.fun()构建一个Spam对象如果参数提供给fun()是一个实例str并以与上面演示类似的方式操纵调用者的框架：
from _example import *
import inspect
import sys
def _force_locals(old_frame, new_locals):
''' Force a new set of locals on a given frame.
:param old_frame: The frame to which locals will be applied.
:type old_frame: frame.
:param new_locals: What locals() should return for old_frame.
:type new_locals: dict.
.. note:: This function will force a custom trace function onto
the old_frame. Within the context of a trace function
(often used for debugging), a frame's f_locals is
modifiable. In most execution paths, f_locals is
writable but not modifiable.
'''
# Force tracing by setting the global tracing function to
# any non-None function.
if not sys.gettrace():
sys.settrace(lambda *args, **keys: None)
# Custom trace function that will force locals.
def trace(frame, event, arg):
# Update the frame's locals.
frame.f_locals.update(new_locals)
# Set frame to use default trace, preventing this trace
# function from resetting the locals on each trace call.
del frame.f_trace
# Set the old frame's trace function to the custom trace.
old_frame.f_trace = trace
def _update_locals(frame, *refs):
''' Modifies a frame's locals based on the provided references.
:param frame: The frame from which a locals will be updated.
:type frame: frame.
:param refs: Iterable pair of (old_ref, new_ref) tuples.
:type refs: Iterable type of pairs.
'''
new_locals = frame.f_locals.copy()
has_changes = False
# If a frame's local has an identity patch with a provided
# reference, then update new_locals with the new reference.
for key, ref in new_locals.iteritems():
for old_ref, new_ref in refs:
if ref is old_ref:
new_locals[key] = new_ref
has_changes = True
# If new_locals has changes, then force them onto the frame.
if has_changes:
_force_locals(frame, new_locals)
def _patch_fun():
old_fun = fun
# Create a function that will perform custom operations then
# delegate to the original function.
def patch(spam, *args, **kwargs):
if isinstance(spam, str):
old_spam, spam = spam, Spam(spam)
# In the caller's frame, force the variables that reference
# old_spam to now reference spam.
_update_locals(
inspect.currentframe(1), # Caller's frame.
(old_spam, spam))
return old_fun(spam, *args, **kwargs)
return patch
fun = _patch_fun()
互动使用：
>>> import example
>>> s1 = example.Spam('abc')
>>> type(s1)
<class '_example.Spam'>
>>> example.fun(s1)
fun() -> Spam::action(): abc
>>> type(s1) # s1's type has not changed.
<class '_example.Spam'>
>>> s2 = 'def'
>>> type(s2)
<type 'str'>
>>> example.fun(s2)
fun() -> Spam::action(): def
>>> type(s2) # s2's type has changed.
<class '_example.Spam'>
>>> example.fun('ghi')
fun() -> Spam::action(): ghi
请注意，上例中的帧操作仅修改fun()的调用者的框架而不是整个堆栈。
