// Semantics Consulting's Tyr Library
// http://www.semantics.org
//
// Copyright (c) 2003 by Stephen C. Dewhurst
//
// Permission to use, copy, modify, distribute, and sell this software
// for any purpose is hereby granted without fee, provided that the above
// copyright notice appears in all copies and that both that copyright
// notice and this permission notice appear in supporting documentation.
// The author makes no representations about the suitability of this
// software for any purpose.  It is provided "as is" without express
// or implied warranty.

//	Described in:
//	Unfinished Business. C/C++ Users Journal Experts Forum, 21, 11 (November 2003).

#ifndef MULTICAST_H
#define MULTICAST_H

#include "metafunction.h"
#include "typelistalgorithms.h"
#include "dismantle.h"

namespace Tyr {

template <class TList, typename T>
struct ConversionReturnType {
	typedef typename EraseIf<TList,Not1<Bind1st<CanConvert,T>::template Adapted>::template Adapted>::R Candidates;
	typedef typename Append<Candidates,void>::R CandidatesV;
	typedef typename CandidatesV::head R;
};

template <class TList, typename E>
typename ConversionReturnType<TList,E>::R multiconvert( const E &expr ) {
	typedef typename ConversionReturnType<TList,E>::R Ret;
	return static_cast<Ret>(expr); // cast to avoid warnings
}

// can_const_cast just strips off all the type qualifiers
// and sees if the types are the same
template <class Q>
struct IsQualDis {
	enum { r = IsSame<ConstDis,Q>::r || IsSame<VolatileDis,Q>::r };
};

template <typename T>
struct RemoveQualsDis {
	typedef typename Dis<T>::R Dissed;
	typedef typename EraseIf<Dissed,IsQualDis>::R NoQual;
	typedef typename Regen<NoQual>::R R;
};

/*
template <typename T1, typename T2>
struct CanConstCast {
	typedef typename RemoveQualsDis<T1>::R RT1;
	typedef typename RemoveQualsDis<T2>::R RT2;
	enum { r = IsSame<RT1,RT2>::r };
};

template <class TList, typename T>
struct ConstCastReturnType {
	typedef typename EraseIf<TList,Not1<Bind1st<CanConstCast,T>::template Adapted>::template Adapted>::R Candidates;
	typedef typename Append<Candidates,void>::R CandidatesV;
	typedef typename CandidatesV::head R;
};

template <class TList, typename E>
typename ConstCastReturnType<TList,E>::R multiconst_cast( const E &expr ) {
	typedef typename ConstCastReturnType<TList,E>::R Ret;
	return const_cast<Ret>(expr);
}
*/

} // namespace Tyr

#endif