• всичко в Пайтън е обект, включително и класовете
• всеки обект е инстанция на някакъв клас, включително и класовете
• класовете на класовете си имат специално име - метакласове
• има един стандартен метаклас - type

В Пайтън type значи няколко неща

• с един аргумент type(x) връща типа на x
• без аргументи е просто класът type
• с три аргумента се конструира инстанция на type

Класовете са просто инстанции на type.

type(name, bases, dict)

• name - име на новия клас
• bases - tuple с базовите му класове
• dict - речник с полетата му (не по-различно от __dict__)

Foo = type('Foo', (A, B, C), {'x':1, 'y':2})

Долното е синтактична захар за горното...

class Foo(A, B, C):
    x = 1
    y = 2

• type е тип и си има конструктор
• type може да бъде наследен
• няма причина следното да не работи...

class metacls(type):
     def __new__(mcs, name, bases, dict):
         dict['foo'] = 'metacls was here'
         return type.__new__(mcs, name, bases, dict)

Foo = metacls('Foo', (A, B, C), {'x':1, 'y':2})
type(Foo) # metacls

[Metaclasses] are deeper magic than 99% of the users should ever worry about. If you wonder whether you need them, you don't (the people who actually need them know with certainty that they need them, and don't need an explanation about why).

— Tim Peters

• Това е classmethod
• Той се вика преди всичко друго
• Трябва да върне обект от тип dict
• Той ще се използва вместо __dict__

class MyDict(dict):
  pass

class Foo(type):
  @classmethod
  def __prepare__(self, name, bases):
      return MyDict()

• Можем да дадем тип на аргумент на функция
• Но това няма никакво значение

def foo(x: int, y: string):
  pass

Кодът, който разглеждахме през първия час можете да намерите тук:

http://pythonmulti.codeplex.com/releases/view/43090

Кодът, който разглеждахме през втория час можете да намерите тук:

http://pythondbc.codeplex.com/releases/view/42938

• http://fmi.py-bg.net/
• fmi@py-bg.net
• @pyfmi