跳过显式模板初始化以避免双重初始化

Question

我尝试制作一个仅适用于双精度类型和用户定义类型的模板。 用户可以通过包含的头文件中的 typedef 来选择用户定义的类型。

typedef float Usertype;

我通过在模板源文件末尾写下以下内容解决了这个问题：

template class SpaceDiscretizer<Datatype::Usertype>;
template class SpaceDiscretizer<double>;

但是，当用户将 Usertype 定义为 double 时，我遇到了问题！ 我试图遵循一些方向，即这些主题：How can I provide template specializations for typedefs of the same type?，Conditional explicit template instantiation

struct dummy{};
template class SpaceDiscretizer< std::conditional<std::is_same<double,Datatype::Usertype>::value, dummy, double>::type>;
//typedef typename std::enable_if<false,double>::type mytype;
//template class SpaceDiscretizer<mytype>;
template class SpaceDiscretizer<Datatype::Usertype>;

第一个不起作用，因为如果 SpaceDiscretizer 用任何不复杂的东西初始化，除了双精度，它不起作用。但我想为用户提供一种简单的方法来添加一个可行的替代方法来替代该功能。 第二次（已注释掉）尝试失败，因为这不是重载，如果 type 不存在，mytype 将不会被忽略，而是会输出错误。

编辑： 我有很多地方不使用模板，或者必须确保多个未连接的类使用相同的数据类型。我需要将实现保留在 .cpp 文件中。为了解决这个问题，我在所有相关位置都包含了一个头文件，以便用户可以在一个位置更改值并使其保持一致。问题来了，因为我一直想为double初始化，但是用户指定double作为Usertype是很自然的。

Answer 1

我不确定你想要什么，但是……希望下面的例子能有所帮助

#include <iostream>
#include <type_traits>

typedef  float  userT;
//typedef  double  userT;

template <typename T, bool B = std::is_same<T, double>::value>
class SpaceDiscretizer;

template <>
class SpaceDiscretizer<userT, false>
 { public: static constexpr int val = 1; };

template <>
class SpaceDiscretizer<double>
 { public: static constexpr int val = 2; };

int main ()
 {
   SpaceDiscretizer<userT>   sd1;
   SpaceDiscretizer<double>  sd2;

   std::cout << "sd1 val = " << sd1.val << std::endl;
   std::cout << "sd2 val = " << sd2.val << std::endl;

   return 0;
 }

输出是

sd1 val = 1
sd2 val = 2

当userT被定义为float和

sd1 val = 2
sd2 val = 2

当userT 定义为double。

ps：对不起，我的英语不好。