Polymorphism
C++
C++ has 4 types of polymorphism:
- Function name overloading - multiple definitions of the same function taking different arguments.
- Coercion - implicit type conversion, e.g. assigning a double to an int or a bool.
- Parametric - compile type substitution of parameters in templates
- Inclusion - subtyping a class with virtual methods overloads their functionality. Your code can use the pointer to a base class, yet when you call the method you are calling the function implemented by the subtype.
That is to say, the same named function can be overloaded with different parameters.
Function name overloading
class Variant {
public:
void set(); // Null variant
void set(bool value);
void set(int value);
void set(float value);
void set(Array *value);
};
One of the biggest issues that you might begin to see from the above example is that is too easy to inadvertantly call the wrong function because C++ will also implicitly convert types. On top of that C++ also has default parameter values and default constructors. So you might call a function using one signature and be calling something entirely different after the compiler resolves it.
// Sample code
Variant v;
//...
v.set(NULL);
This example will call the integer overload because NULL
evaluates to 0. One of the changes to C++11
was to introduce an explicit nullptr
value and type to avoid this issues.
Rust
Rust has limited support for polymorphism.
- Function name overloading - there is none. See section below for alternatives.
- Coercion. Rust allows limited, explict coercion between numeric types using the
as
keyword. Otherwise see below for use onInto
andFrom
traits. - Parameteric - similar to C++ via generics
- Inclusion - there is no inheritance in Rust. The nearest thing to a virtual method in rust is a trait with an implemented function that an implementation overrides with its own. However this override is at compile time.
Alternatives to function name overloading
If you have a few functions you can just disambiguate them, e.g.
fn new(name: &str) -> Foo { /* ... */ }
fn new_age(name: &str, age: u16) -> Foo { /* ... */ }
Use traits
A common way to do polymorphism is with traits.
There are two standard traits for this purpose:
- The
From<>
trait converts from some type into the our type. - The
Into<>
trait converts some type (consuming it in the process) into our type
You only need to implement From
or Into
because one implies the other.
The From
trait is easier to implement:
use std::convert::From;
impl From<&'static str> for Foo {
fn from(v: &'static str) -> Self {
Foo { /* ... */ }
}
}
impl From<(&'static str, u16)> for Foo {
fn from(v: (&'static str, u16)) -> Self {
Foo { /* ... */ }
}
}
//...
let f = Foo::from("Bob");
let f = Foo::from(("Mary", 16));
But let's say we want an explicit new
constructor function on type Foo
. In that case, we could write it using the Into
trait:
impl Foo {
pub fn new<T>(v: T) -> Foo where T: Into<Foo> {
let result = Foo::foo(v);
// we could code here that we do here after making Foo by whatever means
result
}
}
Since From
implies Into
we can just call the constructor like so:
let f = Foo::new("Bob");
let f = Foo::new(("Mary", 16));
If you prefer you could implement Into
but it's more tricky since it consumes the input, which might not be what you want.
// This Into works on a string slice
impl Into<Foo> for &'static str {
fn into(self) -> Foo {
//... constructor
}
}
// This Into works on a tuple consisting of a string slice and a u16
impl Into<Foo> for (&'static str, u16) {
fn into(self) -> Foo {
//... constructor
}
}
//...
let f: Foo = "Bob".into();
let f: Foo = ("Mary", 16).into();
// OR
let f = Foo::new("Bob");
let f = Foo::new(("Mary", 16));
Use enums
Remember that an enumeration in Rust can contain actual data, so we could also implement a function that takes an enumeration as an argument that has values for each kind of value it accepts:
pub enum FooCtorArgs {
String(String),
StringU16(String, u16)
}
impl Foo {
pub fn new(v: FooCtorArgs) {
match v {
FooCtorArgs::String(s) => { /* ... */ }
FooCtorArgs::StringU16(s, i) => { /* ... */ }
}
}
}
//...
let f = Foo::new(FooCtorArgs::String("Bob".to_string()));
let f = Foo::new(FooCtorArgs::StringU16("Mary".to_string(), 16));