Template:cpp/utility/example piecewise construct