<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Sat, Nov 18, 2017 at 9:34 AM Nick Coghlan <<a href="mailto:ncoghlan@gmail.com">ncoghlan@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 18 November 2017 at 09:03, Neil Girdhar <<a href="mailto:mistersheik@gmail.com" target="_blank">mistersheik@gmail.com</a>> wrote:<br>
> On Fri, Nov 17, 2017 at 3:15 AM Nick Coghlan <<a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>> wrote:<br>
>> I'll note that an interesting side effect of<br>
>> <a href="https://www.python.org/dev/peps/pep-0560/#mro-entries" rel="noreferrer" target="_blank">https://www.python.org/dev/peps/pep-0560/#mro-entries</a> will be to allow<br>
>> folks to write:<br>
>><br>
>>     class MyCustomMRO:<br>
>>         def __init__(self, *bases):<br>
>>             self._resolved_bases = my_mro_resolver(bases)<br>
>>         def __mro_entries(self, orig_bases):<br>
>>             if len(orig_bases) > 1 or orig_bases[0] is not self:<br>
>>                 raise TypeError("CustomMRO instance must be sole base<br>
>> class")<br>
>>             return self._resolved_bases<br>
>><br>
>><br>
>>     class Z(MyCustomMRO(B, R)):<br>
>>         ...<br>
>><br>
>> The custom MRO algorithm may then allow for use case specific hints to<br>
>> handle situations that the default C3 resolver will reject as<br>
>> inconsistent or ambiguous. (I'll also note that such a custom resolver<br>
>> would be able to manufacture and inject synthetic metaclasses if<br>
>> that's what someone decided they really wanted to do, by also<br>
>> synthesising a custom base class to stick at the head of the list of<br>
>> bases).<br>
><br>
> This is really cool!<br>
<br>
Unfortunately, as Koos noted, it doesn't actually work as simply as I<br>
presented it: even if you spell out a full MRO in the most-derived<br>
class, the C3 resolution algorithm will complain that it's<br>
inconsistent with the order in one of the two conflicting base<br>
classes.<br></blockquote><div><br></div><div>Would you mind explaining why it's necessary for C3 to complain?</div><div><br></div><div>In:</div><div><br></div><div><div style="color:rgb(33,33,33);font-size:13px">S < C<br class="inbox-inbox-Apple-interchange-newline"></div><div style="color:rgb(33,33,33);font-size:13px">B < S, E</div><div style="font-size:13px;color:rgb(33,33,33)">R < E, C</div><div style="color:rgb(33,33,33);font-size:13px">Z < B, R<br></div></div><div style="color:rgb(33,33,33);font-size:13px"><br></div><div style="color:rgb(33,33,33);font-size:13px">If Z is told to have MRO:</div><div style="color:rgb(33,33,33);font-size:13px"><br></div><div style="color:rgb(33,33,33);font-size:13px">(Z, B, S, R, E, C)</div><div style="color:rgb(33,33,33);font-size:13px"><br></div><div style="color:rgb(33,33,33);font-size:13px">then there are no conflicts with any base classes.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
So to truly get a custom method resolution order, you're likely going<br>
to end up needing a custom metaclass involved.<br>
<br>
Cheers,<br>
Nick.<br>
<br>
--<br>
Nick Coghlan   |   <a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>   |   Brisbane, Australia<br>
</blockquote></div></div>