Question

我正在尝试创建一种允许我这样做的类型：

constexpr const char x[] = "x";
constexpr const char y[] = "y";
int main()
{

    Type<_Type<int, x>, _Type<float, y> > truc;
    std::cout << truc.get<std::forward<const char*>(x)>() << std::endl;
}

_Type（将被重命名）应该包含从数据库获取数据（使用模板参数）的代码（成员变量是静态的，因为这样更容易进行测试）。 Type（也将重命名）用于将一堆_Type绑定在一起。

~~以x和y作为本地变量，gcc表示x和y没有关联。~~

类型实现是：

constexpr bool strings_equal(char const* a , char const* b )
{
    return *a == *b && (*a == '\0' || strings_equal(a + 1, b + 1));
}

template <typename T, const char* n>
struct _Type {
    using type = T;
    static constexpr T value = T{};
    static constexpr const char* name = n;
    template <const char* name, typename = typename std::enable_if<strings_equal(n, name)>::value>
    T get()
    {
        return value;
    }
};
template <typename T>
struct _Type2 : T {
};
template <class... T>
struct Type {
    std::tuple<T...> vals;
    template <unsigned idx, const char* name, bool end_ = true>
    auto _get() -> typename decltype(std::get<idx + 1>(vals))::type
    {
        return decltype(std::get<idx + 1>(vals))::value;
    }
    template <unsigned idx, const char* name, bool end_>
    auto _get() -> decltype(
        _get<(idx + 1), std::forward<const char*>(name), strings_equal(name, std::remove_reference<decltype(std::get<idx + 1>(vals))>::type::name)>())
    {
        return _get<idx + 1, std::forward<const char*>(name), string_equal(name, std::remove_reference<decltype(std::get<idx + 1>(vals))>::type::name)>;
    }

    template <const char* name>
    auto get() -> decltype(
        _get<0, std::forward<const char*>(name), strings_equal(name, std::remove_reference<decltype(std::get<0>(vals))>::type::name)>())
    {
        return _get<0, name, string_equal(std::forward<const char*>(name), decltype(std::get<0>(vals))::name)>;
    }
};

此代码产生错误（在编译期间）。

clang给了我这个错误：

test.cpp:60:23: error: no matching member function for call to 'get'
    std::cout << truc.get<std::forward<const char*>(x)>() << std::endl;
                 ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
test.cpp:48:10: note: candidate template ignored: invalid explicitly-specified argument for template parameter 'name'
    auto get() -> decltype(
         ^
1 error generated.

完整的代码和gcc错误可用here。

如何解决此错误~~并能够将局部变量用于非类型模板参数~~？

感谢您的回答。

修改使用本地字符串由于它们的链接而无法工作（感谢@PasserBy的解释）

编辑2 解决了，感谢@ Jarod42

Answer 1

局部变量永远不会有外部链接。永远。至于为什么链接很重要，请参阅this。

要点是，只有外部链接的c字符串在翻译单元中具有相同的值，并且只有这样，参数才能在翻译单元中相同。

以下代码编译

constexpr const char x[] = "x";
constexpr const char y[] = "y";

template<typename T, typename U>
struct Type {};

template<typename T, const char*>
struct _Type {};

int main()
{
    //good, external linkage
    Type<_Type<int, x>, _Type<float, y>> t1;

    //won't compile, string literal has internal linkage
    //Type<_Type<int, "x">, _Type<float, "y">> t2;

    static constexpr const char local[] = "x";
    //won't compile, local variables don't have external linkage
    //Type<_Type<int, local>, _Type<float, local>> t3;
}

模板参数替换失败，C-string为非类型模板参数

1 个答案: