Почему я не могу наследовать от dict AND Exception в Python?

И Exception, и dict реализованы на C.

Я думаю, вы можете проверить это следующим образом:

>>> class C(object): pass
...
>>> '__module__' in C.__dict__
True
>>> '__module__' in dict.__dict__
False
>>> '__module__' in Exception.__dict__
False

Поскольку Exception и dict имеют разные представления о том, как хранить свои данные внутри, они несовместимы, и поэтому вы не можете наследовать их обоих одновременно.

В более поздних версиях Python вы должны получить исключение в тот момент, когда попытаетесь определить класс:

>>> class foo(dict, Exception):
...     pass
... 
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: Error when calling the metaclass bases
    multiple bases have instance lay-out conflict

Что в этом плохого?

class ConstraintFailure( Exception ):
    def __init__( self, **failures ):
        self.failures= failures # already a dict, don't need to do anything
    def __getitem__( self, key ):
        return self.failures.get(key)

Это исключение, и оно содержит другие исключения во внутреннем словаре с именем failures.

Не могли бы вы обновить свою проблему, чтобы перечислить некоторые конкретные вещи, которые это не может сделать?

try:
    raise ConstraintFailure( x=ValueError, y=Exception )
except ConstraintFailure, e:
    print e['x']
    print e['y']


<type 'exceptions.ValueError'>
<type 'exceptions.Exception'>

Не причина, а решение

На данный момент я до сих пор не знаю, почему, но я обхожу это, используя UserDict.UserDict. Это медленнее, так как это чистый Python, но я не думаю, что в этой части приложения это будет проблематично.

Все равно интересен ответ ;-)

Какая версия питона?

В 2.5.1 я даже не могу определить класс, наследуемый как от dict, так и от Exception:

>>> class foo(dict, Exception):
...   pass
... 
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: Error when calling the metaclass bases
    multiple bases have instance lay-out conflict

Если вы используете более старую версию, возможно, она не выполняет эту проверку во время определения типа, и позже конфликт вызывает странности.

Я почти уверен, что с 2.4 проблема вызвана исключениями из классов старого стиля.

$ python2.4
Python 2.4.4 (#1, Feb 19 2009, 09:13:34)
>>> type(dict)
<type 'type'>
>>> type(Exception)
<type 'classobj'>
>>> type(Exception())
<type 'instance'>

$ python2.5
Python 2.5.4 (r254:67916, Feb 17 2009, 23:11:16)
>>> type(Exception)
<type 'type'>
>>> type(Exception())
<type 'exceptions.Exception'>

В обеих версиях, как говорится в сообщении, исключениями могут быть классы, экземпляры (классов старого стиля) или строки (устаревшие).

Наконец, начиная с версии 2.5 иерархия исключений основана на новых классах стилей. Также разрешены экземпляры новых классов стилей, которые наследуются от BaseException. Но в 2.4 множественное наследование от Exception (старый класс стиля) и dict (новый класс стиля) приводит к новому классу стиля, который не допускается как исключение (смешение старых и новых классов стиля, вероятно, в любом случае плохо).

Используйте collections.UserDict, чтобы избежать конфликтов метаклассов:

class ConstraintFailureSet(coll.UserDict, Exception):
        """
            Container for constraint failures. It act as a constraint failure itself
            but can contain other constraint failures that can be accessed with a dict syntax.
        """

        def __init__(self, **failures) :
            coll.UserDict.__init__(self, failures)
            Exception.__init__(self)


print( isinstance(ConstraintFailureSet(), Exception)) #True
raise ConstraintFailureSet()