C++惯用语类型特征

Question

我有一个类型特征系统驻留在命名空间中,如下所示:

namespace my_namespace
{

template <typename T>
struct magic_traits
{
    static const int value = 0;
};

}

因为人们讨厌模板特化的语法,所以我有这个方便的小宏:

#define DECLARE_MY_MAGIC_TRAITS(type_, value_) \
    namespace my_namespace                     \
    {                                          \
        template <>                            \
        struct magic_traits<type_ > {          \
            static const int value = value_;   \
        };                                     \
    }

}

我的问题是这只适用于在全局命名空间中进行的声明,因此某些其他命名空间中的类型的特征如下所示:

DECLARE_MAGIC_TRAITS(other_namespace::some_type, 9)

如果人们知道所有关于哪里的小命名空间规则,那就太棒了DECLARE_MAGIC_TRAITS.如果他们没有并将声明放在他们自己的命名空间中,他们会得到如下错误:

'magic_traits' is not a template!
Specialization of non-template 'other_namespace::my_namespace::magic_traits'

这对您图书馆的新用户来说非常困惑!

有没有办法让该宏能够magic_traits从任何地方定义专业化？ 如果那是不可能的(我怀疑):可以使用哪些技术来生成更合理的错误消息？

我应该注意到我的用户大多是Python程序员,并且只有很少的C++经验,所以我可以做的任何事情都可以让他们的生活更轻松,更好.

Answer 1

也许有点难看,但作为一个想法如何:

namespace my_namespace
{

typedef bool The_DECLARE_MY_MAGIC_TRAITS_macro_should_be_used_in_the_global_namespace;

template <typename T>
struct magic_traits
{
    static const int value = 0;
};

}

#define DECLARE_MY_MAGIC_TRAITS(type_, value_) \
    namespace my_namespace {                   \
        typedef The_DECLARE_MY_MAGIC_TRAITS_macro_should_be_used_in_the_global_namespace CheckPrecondition; \
        template <>                            \
        struct magic_traits<type_ > {          \
            static const int value = value_;   \
        };                                     \
    }

当宏使用不正确时,它会生成如下错误:

error: ‘The_DECLARE_MY_MAGIC_TRAITS_macro_should_be_used_in_the_global_namespace’ does not name a type
error: ‘magic_traits’ is not a template
error: explicit specialization of non-template ‘other_namespace::my_namespace::magic_traits’

这可能足以暗示出了什么问题.