Arduino.ru

Если честно в лоб, то никак: "Function declarations that differ only in the return type, the exception specification, or both cannot be overloaded" (ISO/IEC 14882:2017 16.1 (2.1)). И понятно почему, в тот момент, когда выбирается функция, ещё ничего неизвестно о типах контекста вызова. Можно ли как-то обмануть через зад, подумать надо.

нет, я знаю, что перегрузка функций различающихся только типом возвращаемого значения не разрешена.  

Но ить это то что, как не функции, отличающиеся только типом возврата 

float f = ExtEeprom.operator[]<float>(0);

int  i = ExtEeprom.operator[]<int>(2);

и шаблон сгенерен правильно, и вызываются они правильные.

в классе 

	template<typename T>
	T operator[](const int idx) {
		if (sizeof(T) == 4) return 111.00;
		else return 55;
	};

в сетапе 

void setup()
{
	Serial.begin(115200);
	Serial << F("Program started\n");

	findI2CDevice();

	Serial << "\nEEPROM Size = " << ExtEprom.Size << eoln;

	int f = ExtEprom.operator[]<int>(0);
	float r = ExtEprom.operator[]<float>(2);

	Serial << "Eprom reads f = " << f << "  r = " << r << eoln;

}

в порту 

float f = ExtEeprom.operator[]<float>(0);

int  i = ExtEeprom.operator[]<int>(2);

Так здесь нет вызова перегруженной функции. Здесь функция определена полностью, птоому "overload resolution" не применяется - функция вызывается прямо.

Никада я своими куриными мозгами не постигну этот лжывый С++, и никакой Страуструп не поможет. 

Я почему-то думал, что шаблоны разворачиваются в 

int f = ExtEprom.operator[]<int>(0);

int operator[](const int idx);


float r = ExtEprom.operator[]<float>(2);

float operator[](const int idx);

а они как раз только типом возврата и отличаюца. 

Правда, блин, лучше и легче ящики таскать, а вечером настойку пить.

Дед! Родное сердце! Помнишь анекдот про семью верблюдов:

-- Мам! А зачем нам такие широкие мохнатые копыта?

-- Это для того, чтобы мы могли долго идти по горячему песку пустыни, сынок.

-- Мам! А зачем нам такой густой мех?

-- Это для того, чтобы горячее солнце пустыни не обжигало нам кожу, сынок.

-- Мам! А зачем нам такой горб?

-- Чтобы мы могли долго не испытывать жажду и голод в пустыне, сынок.

-- Мам! А зачем нам весь этот тюнинг В ЗООПАРКЕ???

===========================================

Сёма! Ты ж контроллер программируешь. Тебя Пух укусил и теперь по ночам ООП с косой в углу стоит? ;))

Вот бери большой комп и на нём - знаю, ты C# любишь, я - Питон люблю. Там и декораторы и множественное наследование и динамическая типизация. Достижение оргазма програмистом - за 7 минут кодинга! ;))) А в "зоопарке" оно к чему?

И да, на С++ красиво индексатор не сделать... все равно тип придется как-то, хоть тушкой, хоть чучелом, но передать.

   Ты смотри от финала: допустим ты придумал и пишешь код, используя задумку. В этот момент ты написал

my_var = MyEEPROM [i];

Где ты тип возврата передал? Можно всякие извраты придумывать, но тип передать надо.

вот для такого использования, уже очевидно, как писать:

my_var = MyEEPROM.idx(my_var) [i];
или
my_var = MyEEPROM._float [i];

Да, это "не курасиво". ;))))

Вот.  А задумка была, чтоб хоть байт, хоть структуру одним индексатором в епром ложить\класть.  

все равно не понимаю, тип lvalue на момент компиляции известен, чоб шаблон не сгенерить под его тип, если, канеш, переменная не обьявлена как auto, тогда да, можно и поругаца. 

Ладно, чо теперь, пойду стаканами крутить да размахивать. :(  

Ты эт, береги себя! Меня вот аритмия замучила, так ужо вторые сутки трезвости пошли!

Спал - как младенец! (не в том смысле, чтоб всю ночь орать, а  под утро обоссаться ;)) )

В том-то и дело, что неизвестен. Сначала вычислиются типы справа (иначе бы auto не работал). А как вычислить справа, если для его вычисления надо "слева" знать?

Спасибо. 

Придется шаблонами как в EEPROM put и get делать.