Ще работи ли автоматичното приспадане на тип връщане за основния?

Не, няма да бъде позволено. Параграф 7.1.6.4/10 от C++14 Standard Draft N3690 уточнява:

Ако функция с деклариран тип на връщане, която използва тип заместител, няма изрази return, типът на връщане се извежда сякаш от оператор return без операнд в затварящата скоба на тялото на функцията. [...]

Това означава, че пропускането на израз return в main() ще направи неговия тип void.

Специалното правило, въведено от параграф 3.6.1/5 относно изтичането на края на main(), уточнява:

[...] Ако контролът достигне края на main, без да се натъкне на оператор return, ефектът е изпълнението

return 0;

Формулировката гласи, че „ефектът“ по време на изпълнението на програмата е същият, както ако е налице return 0, а не че оператор return ще бъде добавен към програмата (което би повлияло на дедукцията на типа според цитирания параграф).

РЕДАКТИРАНЕ:

Има Доклад за дефект за това ( с любезното съдействие на Йоханес Шауб ):

Предложена резолюция (ноември 2013 г.):

Променете 3.6.1 [basic.start.main] параграф 2, както следва:

Реализацията не трябва да предефинира основната функция. Тази функция не трябва да се претоварва. Той трябва да има деклариран тип връщане от тип int, но в противен случай неговият тип е дефиниран от изпълнението. Всички реализации Внедряване позволява и двете

• функция на () връщаща int и
• функция на (int, указател към указател към char), връщаща int

като тип...