Χρησιμοποιώντας το std::apply στο std::αναμενόμενο στη C++23

Μείωση της πολυπλοκότητας στον χειρισμό σφαλμάτων C++ με `std::expected}

Σενάριο C++23 με χρήση Variadic Templates

#include <expected>
#include <string>
#include <iostream>
#include <tuple>

using namespace std;

template<typename Func, typename... Args, typename Err>
auto magic_apply(Func func, const expected<Args, Err>&... args) -> expected<decltype(func(args.value()...)), Err> {
    if ((... && args.has_value())) {
        return func(args.value()...);
    } else {
        return unexpected<Err>(args.error()...);
    }
}

expected<int, string> getA(int x) {
    if (x > 0) return x;
    return unexpected<string>("Error in getA");
}

expected<double, string> getB(double y) {
    if (y > 0) return y;
    return unexpected<string>("Error in getB");
}

double compute_all(int a, double b) {
    return a + b;
}

int main() {
    auto result = magic_apply(compute_all, getA(10), getB(20.5));
    if (result) {
        cout << "Result: " << result.value() << endl;
    } else {
        cout << "Error: " << result.error() << endl;
    }
    return 0;
}

Ο συνδυασμός διαφορετικών {std::expected} Προκύπτουν τιμές C++23

Σενάριο C++23 με χρήση συναρτήσεων λάμδα

#include <expected>
#include <string>
#include <iostream>

using namespace std;

template<typename Func, typename... Args, typename Err>
auto magic_apply(Func func, const expected<Args, Err>&... args) -> expected<decltype(func(args.value()...)), Err> {
    bool all_valid = (args.has_value() && ...);
    if (all_valid) {
        return func(args.value()...);
    } else {
        return unexpected<Err>(args.error()...);
    }
}

expected<string, string> getA(bool flag) {
    if (flag) return "SuccessA";
    return unexpected<string>("Failed A");
}

expected<string, string> getB(bool flag) {
    if (flag) return "SuccessB";
    return unexpected<string>("Failed B");
}

string compute_all(const string& a, const string& b) {
    return a + " and " + b;
}

int main() {
    auto result = magic_apply(compute_all, getA(true), getB(true));
    if (result) {
        cout << "Result: " << result.value() << endl;
    } else {
        cout << "Error: " << result.error() << endl;
    }
    return 0;
}

Συχνές ερωτήσεις σχετικά με τα Variadic Templates και το std::expected

1. Τι είναι std::expected?
2. Είναι ένας τύπος προτύπου C++ που μπορεί να περιέχει ένα σφάλμα ή μια έγκυρη τιμή και χρησιμοποιείται για τη διαχείριση σφαλμάτων.
3. Πώς κάνει magic_apply εργασία;
4. Εξαλείφει την ανάγκη για επαναλαμβανόμενους ελέγχους σφαλμάτων συνδυάζοντας τα αποτελέσματα πολλών std::expected τιμές και μεταβιβάζοντάς τις σε μια συνάρτηση.
5. Τι είναι τα ποικίλα πρότυπα;
6. Τα μεταβλητά πρότυπα προσφέρουν μεγάλη ελευθερία στο σχεδιασμό συναρτήσεων, επιτρέποντας στις συναρτήσεις να δέχονται έναν αυθαίρετο αριθμό παραμέτρων.
7. Γιατί να χρησιμοποιήσετε decltype σε magic_apply?
8. Αξιοποιώντας τις αξίες του std::expected αντικείμενα για να προσδιορίσει αυτόματα τον τύπο επιστροφής της συνάρτησης που καλείται.
9. Είναι magic_apply μπορεί να χειριστεί διάφορους τύπους σφαλμάτων;
10. Ναι, μπορεί να λειτουργήσει std::expected τιμές που έχουν διάφορα είδη σφαλμάτων με μερικές τροποποιήσεις.
11. Ποια πλεονεκτήματα έχει η αξιοποίηση std::expected προσφορά;
12. Κατά τον χειρισμό λαθών, προσφέρει μια πιο εκφραστική και καθαρότερη προσέγγιση από ό,τι με πιο συμβατικές τεχνικές όπως οι εξαιρέσεις ή οι κωδικοί επιστροφής.
13. Είναι std::unexpected μέρος του std::expected?
14. Εκτός από std::expected, std::unexpected στην πραγματικότητα, αντιπροσωπεύει μια εσφαλμένη τιμή.
15. Μπορούν να χρησιμοποιηθούν ασύγχρονες ενέργειες με magic_apply?
16. Είναι πράγματι προσαρμόσιμο στο χειρισμό std::expected τιμές που επιστρέφονται από ασύγχρονες πράξεις.
17. Τι είναι η έκφραση πτυχής;
18. Εδώ, η δυνατότητα στη C++ που ονομάζεται έκφραση fold χρησιμοποιείται για να ελεγχθεί αν όλα std::expected Τα αντικείμενα περιέχουν έγκυρες τιμές με απλό τρόπο.

Κλείσιμο:

Στη C++23, η εφαρμογή μιας γενικής συνάρτησης για το χειρισμό πολλαπλών τιμών std::αναμενόμενο βελτιώνει σημαντικά την αναγνωσιμότητα κώδικα και απλοποιεί σημαντικά τον χειρισμό σφαλμάτων. Η συνάρτηση magic_apply μειώνει τον κώδικα του boilerplate και ενισχύει τη συντηρησιμότητα χρησιμοποιώντας μεταβλητά πρότυπα για να βεβαιωθείτε ότι όλες οι αναμενόμενες τιμές είναι σωστές πριν από την επεξεργασία. Αυτή η μέθοδος προσφέρει μια ευέλικτη λύση που μπορεί να εφαρμοστεί σε διαφορετικές καταστάσεις και δίνει στον σύγχρονο προγραμματισμό C++ έναν καθαρότερο, πιο αποτελεσματικό τρόπο αντιμετώπισης αστοχιών.