Is it possible to pass a tuple struct constructor to a function to return different types of values?

Question

Is it possible to pass different struct constructors to a function so that it could return different values created with those constructors?

For example, I might pass String10 or String20 to createString and it should create a different type of value based on the constructor passed in.

I don't know how to set the type for ctor nor the return type. I tried a generic <T> without success.

pub struct String10(String);
pub struct String20(String);

impl String10 {
    pub fn create(fieldName: &str, str: &str) -> String10 {
        // Failed to pass `String10` as a constructor to createString
        createString(fieldName, String10, 10, str)
    }
}

impl String20 {
    // same failure here
    pub fn create(fieldName: &str, str: &str) -> String10 {
        createString(fieldName, String20, 20, str)
    }
}

// Not sure what's the type for ctor and the return type?
pub fn createString<T>(fieldName: &str, ctor: T, maxLen: u32, str: &str) -> T {
    ctor(str);
}

I don't understand your question. Can you improve with more example and more explanation of what you want? — Stargateur, Nov 06 '19 at 19:02

score 4 · Accepted Answer · answered Nov 06 '19 at 19:04

Tuple struct constructors are functions. You can pass functions and closures as arguments to other functions.

pub struct String10(String);
pub struct String20(String);

impl String10 {
    pub fn create(field_name: &str, s: &str) -> String10 {
        create_string(field_name, String10, 10, s)
    }
}

impl String20 {
    pub fn create(field_name: &str, s: &str) -> String20 {
        create_string(field_name, String20, 20, s)
    }
}

pub fn create_string<T>(
    _field_name: &str,
    ctor: impl FnOnce(String) -> T,
    _max_len: u32,
    s: &str,
) -> T {
    ctor(s.to_string())
}

Is it possible to pass a tuple struct constructor to a function to return different types of values?

1 Answers1

Related