19.12.2018, 21:02, "Darin Adler" <da...@apple.com>: >> ?On Dec 19, 2018, at 1:52 AM, Fujii Hironori <fujii.hiron...@gmail.com> >> wrote: >> >> ?I'd like to change this because 'final' doesn't necessarily imply >> ?'override'. See the following stackoverflow: >> ?https://stackoverflow.com/questions/29412412/does-final-imply-override > > I¡¯d be happy to require both final and override if there was any benefit to > doing so. > > I read it fairly carefully, and I don¡¯t think it says anything meaningful for > us. Maybe we can find a real example in WebKit code where there¡¯s a ¡°final¡± > and if we added ¡°override¡±, it would have caught a mistake that ¡°final¡± won¡¯t > catch?
Adding override to method which already has final specifier doesn't affect anything, because both final and override may ony be used on virtual methods > > ¡ª Darin > _______________________________________________ > webkit-dev mailing list > firstname.lastname@example.org > https://lists.webkit.org/mailman/listinfo/webkit-dev -- Regards, Konstantin _______________________________________________ webkit-dev mailing list email@example.com https://lists.webkit.org/mailman/listinfo/webkit-dev