Wie zwei überladene Funktionen mit Argumenten von nicht verschachtelter und verschachtelter initializer_list unterscheiden?

Question

Angenommen, ich eine Matrix-Klasse haben, und ich möchte meine Matrix Objekte auf zwei Arten initialisieren:

Matrix a = {1,2,3} // for a row vector 

und

Matrix b = {{1,2,3},{4,5,6},{7,8,9}} // for a matrix 

Als Ergebnis implementiert ich zwei Kopierkonstruktoren wie unten

class Matrix { 
private: 
    size_t rows, cols; 
    double* mat; 
public: 
    Matrix() {} 
    Matrix(initializer_list<double> row_vector) { ... } 
    Matrix(initializer_list< initializer_list<double> > matrix) { ... } 
    ... 
} 

Egal, wie ich meine Schnittstelle ändern, z. B. ein explicit Schlüsselwort hinzufügen oder die verschachtelte Version zu Matrix(initializer_list< vector<double> > matrix) ändern. Es wird immer dazu führen Unklarheiten zwischen diesen beiden Fällen:

Matrix a = {1,2,3};n 
Matrix b = {{1}, {2}, {3}}; 

Ich bin nicht ganz mit dem Zeug wie direkt/Kopie der Initialisierung oder implizite Typumwandlung vertraut. Gibt es Lösungen für dieses Problem?

Answer 1

Nun, hier ist ein sehr schmutziger Trick:

#include <iostream> 
#include <initializer_list> 

struct Matrix 
{ 
    template<class = void> Matrix(std::initializer_list<double>) { std::cout << "vector\n"; } 
    Matrix(std::initializer_list<std::initializer_list<double>>) { std::cout << "matrix\n"; } 
}; 

int main() 
{ 
    Matrix a = {1, 2, 3}; 
    Matrix b = {{1}, {2}, {3}}; 
    (void)a; (void)b; 
} 

Die beiden Überlastungen nicht unterschieden auf Conversions basieren, so verlassen wir uns auf einem nachfolgenden Schritt in der Überladungsauflösung Prozess: eine Nicht-Template-Funktion über bevorzugt wird eine Template-Spezialisierung

Answer 2

Warum nicht einfach einen Konstruktor erstellen, der eine Matrix annimmt, eine private Funktionskopie erstellt und innerhalb der Kopie nach einem row_vector sucht.

private void Matrix::copy(const Matrix &matrix) 
{ 
    if (matrix.rows == 1) 
    { 
     //row vector stuff here 
    } 
    else if (matrix.cols == 1) 
    { 
     //col vector stuff here 
    } 
    else 
    { 
     //matrix stuff here 
    } 
} 

Answer 3

Es gibt keine Lösung, die in jedem Fall eindeutig funktioniert. Sie können jedoch Möglichkeiten schaffen, um Fälle disambiguate:

template<typename T> 
auto il(std::initializer_list<T> the_il) -> std::initializer_list<T> { return the_il; } 

Matrix b = {il({1}), {2}, {3}}; 

Aber ich persönlich würde vorschlagen, dass Sie es explizit sein. Wenn ein Benutzer eine Matrix, die eine Reihe will, dann sollte es aussehen wie eine Matrix eine Zeile enthält, nicht einen Vektor mag:

Matrix a = {{1,2,3}}; 

So würde ich vorschlagen, die erste Überlast insgesamt Notwasserung.