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’

这可能会给出足够的提示，说明哪里出了问题。