관리-도구
편집 파일: generics.cpython-38.pyc
U /?�f�E � @ sJ U d dl Z d dlZd dlZd dlmZmZmZmZmZmZm Z m Z m Z m Z m Z mZmZmZmZ d dlmZmZ d dlmZmZ d dlmZ d dlm Z d dl m Z m Z d dl m!Z! d d l"m#Z#m$Z$m%Z%m&Z&m'Z' d d l(m)Z)m*Z* e j+d kr�d d lm,Z, e j+d k�r d dlmZ eddd�Z-eZ.e ee ee edf f Z/e e.ee f Z0e j+dk�rtee/ee f Z1eee e0f Z2neZ1eZ2e1� Z3e2� Z4G dd� de �Z5ee eef ed�dd�Z6ee5 e edf dd�dd�Z7i �8� j9Z:ee e;d< ee e. d �d d �Z<e e e= e>f d �d d!�Z?ee5 e e=ef e e=e@f e ee@f dd"�d#d$�ZAdS )%� N)� TYPE_CHECKING�Any�ClassVar�Dict� ForwardRef�Generic�Iterator�List�Mapping�Optional�Tuple�Type�TypeVar�Union�cast)�WeakKeyDictionary�WeakValueDictionary)� Annotated�Literal)�gather_all_validators)� DeferredType)� BaseModel� create_model)� JsonWrapper)�display_as_type�get_all_type_hints�get_args� get_origin� typing_base)� all_identical�lenient_issubclass�� � )�_UnionGenericAlias�r" � )r � GenericModelT� GenericModel)�bound.)r" � c @ s� e Zd ZU dZdZee ed< er6ee e df ed< e e e e e e e e df f e e d�dd�Zee e e e e df ed�d d ��Zeeee e d �d d ��ZdS )r( � F� __concrete__.�__parameters__)�cls�params�returnc s t td�� fdd� }t�||��}|dk r.|S � jrFt� jkrFtd��t|t �sV|f}� t krxt dd� |D ��rxtd��t � d �s�td � j � d ���t� |� tt� j|��}t|�� |�� �r�|rȈ S � �|�}t� �}t� ��� }d d � |D �}� fdd �|D �} t� \} } ttt t |f| �p(� j � ft � � |�� d|dd�| ���} |t | < | �r�d} |}t j!| j j"}| | k �r�|�#|| �} |d7 }�qr� j$| _$t dd � t%|�� �D ��}| | _|�r�|| _| t||�< t&|�dk�r�| t||d �< t'| | ||� | S )a� Instantiates a new class from a generic class `cls` and type variables `params`. :param params: Tuple of types the class . Given a generic class `Model` with 2 type variables and a concrete model `Model[str, int]`, the value `(str, int)` would be passed to `params`. :return: New model class inheriting from `cls` with instantiated types described by `params`. If no parameters are given, `cls` is returned as is. )�_paramsr0 c s@ t | �}t|�dkr6t|d t�r6t|d �|d f}� | |fS )N� r � )r �len� isinstance�list�tuple)r1 �args�r. r+ �B/opt/hc_python/lib/python3.8/site-packages/pydantic/v1/generics.py� _cache_keyW s z2GenericModel.__class_getitem__.<locals>._cache_keyNz?Cannot parameterize a concrete instantiation of a generic modelc s s | ]}t |t�V qd S �N)r5 r ��.0�paramr+ r+ r: � <genexpr>e s z1GenericModel.__class_getitem__.<locals>.<genexpr>zDType parameters should be placed on typing.Generic, not GenericModelr- zType z< must inherit from typing.Generic before being parameterizedc S s" i | ]\}}t |�tk r||�qS r+ )r r )r> �k�vr+ r+ r: � <dictcomp>u s z2GenericModel.__class_getitem__.<locals>.<dictcomp>c s* i | ]"}|� j kr|t� � j | jf�qS r+ )� __fields__r Z field_info)r> rA r9 r+ r: rC w s )� __module__�__base__Z __config__Z__validators__Z__cls_kwargs__�_c S s i | ] }|d �qS r< r+ r= r+ r+ r: rC � s r3 r )(r �CacheKey�_generic_types_cache�getr, r � __bases__� TypeErrorr5 r7 r( �any�hasattr�__name__�check_parameters_count�dict�zipr- r �keys�values�__concrete_name__r r �items�get_caller_frame_infor r r rE �__parameterized_bases__�_assigned_parameters�sys�modules�__dict__� setdefaultZConfig�iter_contained_typevarsr4 �_prepare_model_fields)r. r/ r; �cached� typevars_mapZ model_nameZ validatorsZ type_hints�instance_type_hints�fieldsZ model_moduleZcalled_globally� created_modelZobject_by_referenceZreference_nameZreference_module_globals� new_paramsr+ r9 r: �__class_getitem__K sp � ��� � z GenericModel.__class_getitem__c C s* dd� |D �}d� |�}| j� d|� d�S )a� Compute class name for child classes. :param params: Tuple of types the class . Given a generic class `Model` with 2 type variables and a concrete model `Model[str, int]`, the value `(str, int)` would be passed to `params`. :return: String representing a the new class where `params` are passed to `cls` as type variables. This method can be overridden to achieve a custom naming scheme for GenericModels. c S s g | ] }t |��qS r+ )r r= r+ r+ r: � <listcomp>� s z2GenericModel.__concrete_name__.<locals>.<listcomp>z, �[�])�joinrO )r. r/ Z param_namesZparams_componentr+ r+ r: rU � s z GenericModel.__concrete_name__)ra r0 c # s� t t ttt t d�� fdd� }� jD ]r}t|t�s:q(q(t|dd�sJq(q(� tkr�|tkr^q(q��fdd�t� �� D �}|||�E dH q(||��E dH q(dS )a� Returns unbound bases of cls parameterised to given type variables :param typevars_map: Dictionary of type applications for binding subclasses. Given a generic class `Model` with 2 type variables [S, T] and a concrete model `Model[str, int]`, the value `{S: str, T: int}` would be passed to `typevars_map`. :return: an iterator of generic sub classes, parameterised by `typevars_map` and other assigned parameters of `cls` e.g.: ``` class A(GenericModel, Generic[T]): ... class B(A[V], Generic[V]): ... assert A[int] in B.__parameterized_bases__({V: int}) ``` )� base_model� mapped_typesr0 c 3 s@ t � fdd�| jD ��}| �|�}|| ks2|�kr6d S |V d S )Nc 3 s | ]}� | V qd S r< r+ r= �rl r+ r: r@ � s zQGenericModel.__parameterized_bases__.<locals>.build_base_model.<locals>.<genexpr>)r7 r- rf )rk rl Zbase_parametersZparameterized_baser9 rm r: �build_base_model� s z>GenericModel.__parameterized_bases__.<locals>.build_base_modelr- Nc s i | ]\}}|� � ||��qS r+ )rJ )r> �key�value)ra r+ r: rC � s z8GenericModel.__parameterized_bases__.<locals>.<dictcomp>) r r( �Parametrizationr rK � issubclass�getattrrY rV )r. ra rn rk rl r+ )r. ra r: rX � s" � �z$GenericModel.__parameterized_bases__N)rO rE � __qualname__� __slots__r, r �bool�__annotations__r r � TypeVarTyper r' r r rf � classmethod�strrU rq r rX r+ r+ r+ r: r( @ s 2_$)�type_�type_mapr0 c s� � s| S t | �}t| �}|tkr>|^}}tt|� �t|�f S |tksXtjdkrd|tkrd� � | | �S |r�t� fdd�|D ��}t ||�r�| S |dk r�t | t �r�t |t �s�t | dd�dk r�t t| j�}|dk s�t�tjdkr�|tjkr�t||�S || S |�sDt| t��rD| j�sD| j}t� fdd�|D ��}t ||��r<| S | | S t | ttf��r~t� fdd�| D ��}t | |��rz| S |S |�s�t| t��r�t| j� �| _| S � � | | �}t |t ��r�t |�S |S dS ) a� Return type with all occurrences of `type_map` keys recursively replaced with their values. :param type_: Any type, class or generic alias :param type_map: Mapping from `TypeVar` instance to concrete types. :return: New type representing the basic structure of `type_` with all `typevar_map` keys recursively replaced. >>> replace_types(Tuple[str, Union[List[str], float]], {str: int}) Tuple[int, Union[List[int], float]] r% c 3 s | ]}t |� �V qd S r< �� replace_types)r> �arg�r| r+ r: r@ s z replace_types.<locals>.<genexpr>N�_namer! c 3 s | ]}t |� �V qd S r< r} )r> �tr� r+ r: r@ 0 s c 3 s | ]}t |� �V qd S r< r} )r> �elementr� r+ r: r@ 8 s ) r r r r~ r7 � ExtLiteralrZ � version_infor rJ r r5 r rs �typingr� �AssertionError�types� UnionTyper$ r r( r, r- r r6 r Z inner_typerz r ) r{ r| Z type_argsZ origin_type�annotated_type� annotationsZresolved_type_argsZ resolved_list�new_typer+ r� r: r~ � sX ���� r~ )r. � parametersr0 c C sP t |�}t | j�}||krL||kr&dnd}td|� d| j� d|� d|� ���d S )N�many�fewzToo z parameters for z ; actual z , expected )r4 r- rL rO )r. r� �actual�expected� descriptionr+ r+ r: rP M s rP � DictValues)rB r0 c c s� t | t�r| V nrt| d�r<t| �s<t| t�r<| jE dH nHt | ttf�rd| D ]}t |�E dH qNn t | �}|D ]}t |�E dH qpdS )zdRecursively iterate through all subtypes and type args of `v` and yield any typevars that are found.r- N) r5 r rN r r r( r- r� r6 r^ r )rB �varr8 r r+ r+ r: r^ X s r^ )r0 c C sj zt �d�} W n@ tk r: } ztd�|�W 5 d}~X Y n tk rN Y dS X | j}|�d�| j|kfS )z� Used inside a function to check whether it was called globally Will only work against non-compiled code, therefore used only in pydantic.generics :returns Tuple[module_name, called_globally] r2 z2This function must be used inside another functionN)NFrO )rZ � _getframe� ValueError� RuntimeError�AttributeError� f_globalsrJ �f_locals)Zprevious_caller_frame�eZ frame_globalsr+ r+ r: rW g s rW )rd rc rb ra r0 c C sz | j �� D ]j\}}||kr,|jjtk s t�q |jjtksDt|jj��|| }t||�}||_||_|�� || j |< q dS )zP Replace DeferredType fields with concrete type hints and prepare them. N) rD rV r{ � __class__r r� r~ Z outer_type_�preparerw )rd rc rb ra ro �fieldZfield_type_hintZ concrete_typer+ r+ r: r_ y s r_ )BrZ r� r� r r r r r r r r r r r r r r r �weakrefr r �typing_extensionsr r r� Z pydantic.v1.class_validatorsr Zpydantic.v1.fieldsr Zpydantic.v1.mainr r Zpydantic.v1.typesr Zpydantic.v1.typingr r r r r Zpydantic.v1.utilsr r r� r$ r' rx rH rq ZGenericTypesCacheZAssignedParametersrI rY r( r~ rP rT r� r� rw r^ rz rv rW �typer_ r+ r+ r+ r: �<module> sP D <R �