2

На самом деле я не подразумеваю на свой вопрос полного и исчерпывающего ответа, иначе меня можно просто отправить на cppreference читать это огромное чтиво. Когда-нибудь может и займусь этим, но в данный момент мой уровень английского не сильно позволяет это сделать. Но я хочу примерно представлять каким образом он решает выводить типы, а конкретно разберу мою проблему на примере:

#include <iostream>

template <typename T> 
T** createarray(int n, int m) {
    T** mas = new T*[n];
    for (int i = 0; i < n; i++) {
        mas[i] = new T[m];
    }
    return mas;
}

int main()
{
    int n, m;
    std::cin >>n >> m;
    double **arr = createarray(n, m);
}

Хочу создать двумерный массив, при этом чтобы элементы массива могли быть произвольного типа. Но код, не комплируется и оно в целом понятно, почему. Я пытаюсь вызывать функцию, в которой как бы не понятно, что такое тип T. Если бы например функция была такого вида:

T** createarray(int n, int m, T another_argument) {
    T** mas = new T*[n];
    for (int i = 0; i < n; i++) {
        mas[i] = new T[m];
    }
    return mas;
} 

То в целом становится более понятно, что надо сначала разобраться, что за тип нам передали и этого же типа будет функция. Но все же в контексте double **arr = createarray(n, m) ВРОДЕ КАК понятно, что функция тоже должна быть double? Однако тут встает другая проблема, я же могу вывести тип функции допустим как int, а потом кастануть к double? получается неоднозначность, что я могу привести к любому типу и потом просто кастануть неявно. Однако, что если я передам какую-то более сложную структуру данных по типу string? vector? Такой неоднозначности в целом уже не будет. Однако ошибки комплияции данная идея не устранила. Хотя в целом данные мысли не очень имеют место ввиду того, что я не совсем уверен как C++ действительно пытается выводить типы. Он по факту их выводит с помощью аргументов? Есть ли какой-то способ заставить мою функцию работать без явного указания типа: double **arr = createarray<double>(n, m).

2
  • 1
    А вы гарантируете наличие контекста? :) Тогда создавайте void createarray(T*** array, int n, int m) { ... *array = mas; }. Ну не принято в С++ учитывать в функции то, что происходит за ее пределами...
    – Harry
    29 ноя 2021 в 9:51
  • @Harry это хорошо подмечено, однако почему бы тогда и не вбрасывать ошибку когда контекста нет? в данный ситуации он же есть (и вообще я планирую данной функции контекст давать всегда). вообще в целом я уже подозреваю, что при выводе типов "внешний" контекст вообще не смотрится. тогда в целом я подозреваю, что заставить мою функцию работать не сильно то и можно.
    – Learpcs
    29 ноя 2021 в 9:53

1 ответ 1

6

Как вы уже заметили, на вывод аргументов не влияет то, как используется возвращаемое значение функции.

С единственным исключением - зашаблоненным operatorом преобразования:

template <typename T>
struct Helper
{
    int m, n;
    
    template <typename T>
    operator T **()
    {
        // Тут код создания массива.
    }
};

Helper CreateArray(int m, int n)
{
    return {m, n};
}

Тогда double **arr = createarray(m, n); заработает.

4
  • не совсем пойму, почему {m, n} заставляет вызвать operator T **(). Как это происходит? {m, n} это типа будет вызываться конструктор initializer_list который проинициализирует m и n? Но как тогда вызывается сам operator T **()?
    – Learpcs
    29 ноя 2021 в 10:17
  • 2
    @Learpcs return {m, n}; примерно эквивалентно Helper ret; ret.m = m; ret.n = n; return ret;. Этот operator T ** вызывается не внутри функции, а снаружи, когда вы пытаетесь присвоить объект Helper указателю. 29 ноя 2021 в 10:18
  • 1
    @Learpcs это агрегатная инициализация.
    – αλεχολυτ
    13 дек 2021 в 9:39
  • @αλεχολυτ да уж, то что я загнул про initializer_list это чушь конечно.
    – Learpcs
    13 дек 2021 в 12:03

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.