Как реализовать шаблонный оператор\функцию, чтобы скрыть < и > символы после объявления?

Question

[yatanai]

Допустим у нас есть класс вида:

class mem_t
{
public:
    void* ptr;
    size_t size;
    mem_t(void* p, size_t s) : ptr(p), size(s) {}

    template<typename T>
    T& at(size_t n)
    {
        return (T*)ptr[n];
    }
    template<typename T>
    T& operator[](size_t n)
    {
        return (T*)ptr[n];
    }
};

Далее я пишу

int main()
{
    mem_t m(nullptr, 10);

    int a = m.at(5);
    int b = m.at<int>(5);
    int c = m[5];
}

И я хочу добиться того, чтобы int a,c не выдавали ошибок, дабы избежать записи типа int b

Возможно ли это сделать на крестах или нет?

(Почему я не могу написать <> в заголовке? ржу)

Comments

[kamenyuga]

Почему не сделать весь класс шаблонным?

[yatanai]

kamenyuga, меня интересует сама возможность сделать так как я написал, так как чисто технически, компилятор сам определяет какие типы требуются в выражении.

По сути у меня "примерно таким" способом выделяются куски памяти, и можно было бы написать "адаптеры" которые бы конвертировали класс "сырой памяти" в mem< some_class >. Но меня просто заинтересовала идея, можно ли передавать сам класс "сырой памяти" и уже на основе шаблонов вытаскивать нужные тебе данные. В производительности такое решение не особо теряет, так что не вижу смысла не попробовать. Но как сделать - компетенции не хватает.

[Wataru]

yatanai, А как он должен определить, какой тип вы хотите использовать? Он вообще-то не может посмотреть через знак "=" и понять, что вы присваиваете int, значит вам нужен int. Можно же в int присваивать и char и short.

[Евгений Шатунов]

yatanai, есть только два способа запустить автоматический механизм вывода шаблонных параметров.
Первый способ - это написать конструктор шаблона класса в C++17 и дальше, типы параметров которого будут взяты из аргументов шаблона.
Второй способ - это написать шаблон функции, типы параметров которой взяты из аргументов шаблона.
У тебя не сделано ни то, ни это. У тебя нет шансов на автоматический вывод шаблонных аргументов.

[yatanai]

Евгений Шатунов, То есть как я понял, оно не умеет так как я хочу.
И единственный вариант сделать это, написать что-то следующее

template<class T>
class Foo
{
    T at(int sz);   //Первый вариант 
    
    template<class U>
    U at(U sz);     //Второй вариант
}

В остальных случаях тип который мы хотим получить от функции\метода надо объявлять явно. Как я написал в вопросе
int b = m.at<int>(5);

(правильно ли я всё понял*?)

[Евгений Шатунов]

yatanai, да, ты все правильно понимаешь.
У тебя есть вариант такой реализации:

template<typename T>
bool at(T*& storage, size_t n);

Возвращай true только когда заполнил storage правильным значением.
В этом случае тебе не надо будет указывать шаблонный аргумент при инстанцировании.

Answer 1

[yatanai]

В итоге я сам нашёл себе ответ - введение промежуточного класса для кастов в другие типы.

На счёт эффективности его работы я не ручаюсь, но в целом может решить мой вопрос.
Код ниже компилируется в онлайн компиляторах и выводит то что нужно.

#include <iostream>

using namespace std;

class foo 
{ 
public: 
    void* ptr; 
    int n; 
    
    template<class T>
    operator T() 
    {
        T* x = static_cast<T*>(this->ptr);
        T z = x[this->n] ;
        return z;
    }
};

class mem_t
{
public:
    void* ptr;
    size_t size;
    
    mem_t(void* p, size_t s) : ptr(p), size(s) {}
    
    foo at(size_t n)
    {
        foo ret;
        ret.ptr = this->ptr;
        ret.n = n;
        return ret;
    }
};

int main()
{
    cout<<"5 is : ";
    
    auto num = new int[10];
    num[5] = 3;// Проверяем вывод
    
    mem_t m ((void*)num, 10u);
    int a = m.at(5);
    std::cout << a << endl;
    
    return 0;
}
//5 is : 3

Может можно сделать так что бы компилятор справлялся "оптимизируя" такое, но там нужно более углублённые знания в то как работают ссылки\переменные в крестах, чего у меня нет.

PS - Код не вылизанный, я просто писал что бы работало
PSS - Ржу, компилятор смог это оптимизировать. Победа получается?