0

我目前正在编写一个使用 的程序NURBS surfaces，您可以在其中执行两个方向（U和V）的算法。为了避免代码重复，我尝试使用模板，但我对使用它们毫无经验。这是我想做的一个小例子：

#include <iostream>

enum class Dir {
    U, V
};

struct Foo {

    unsigned cu, cv;

    Foo(unsigned cu, unsigned cv) : cu(cu), cv(cv) {};

    template<Dir>
    const Dir otherDir();

    template<>
    const Dir otherDir<Dir::V>() {
        return Dir::U;
    }

    template<>
    const Dir otherDir<Dir::U>() {
        return Dir::V;
    }

    template<Dir>
    unsigned count();

    template<>
    unsigned count<Dir::U>() {
        return cu;
    }

    template<>
    unsigned count<Dir::V>() {
        return cv;
    }

    template<Dir d>
    unsigned totalCount() {
        auto c = count<d>();
        auto cOther = count<otherDir<d>()>();
        return c * cOther;
    }

};

int main() {
    Foo f(3,2);
    std::cout << (f.count<Dir::U>() == 3) << std::endl;
    std::cout << (f.otherDir<Dir::U>() == Dir::V) << std::endl;
    std::cout << f.totalCount<Dir::U>() << std::endl;
}

但这由于 main 中的最后一行而无法编译（VS2015，但我认为这不是编译器的错）：

1>...\main.cpp(42): error C2672: 'Foo::count': no matching overloaded function found
1>...\main.cpp(52): note: see reference to function template instantiation 'unsigned int Foo::totalCount<Dir::U>(void)' being compiled
1>...\main.cpp(42): error C2975: 'unnamed-parameter': invalid template argument for 'Foo::count', expected compile-time constant expression
1>...\main.cpp(27): note: see declaration of 'unnamed-parameter'
1>...\main.cpp(43): error C3536: 'cOther': cannot be used before it is initialized

我接近上述功能的唯一方法是同时指定主方向和另一个方向作为模板参数，如下所示：

struct Foo {

    ...

    template<Dir d, Dir otherD>
    unsigned totalCount() {
        auto c = count<d>();
        auto cOther = count<otherD>();
        return c * cOther;
    }

};

int main() {
    Foo f(3,2);
    std::cout << f.totalCount<Dir::U, Dir::V>() << std::endl;
}

但这似乎不是很优雅。

4

2 回答 2

0

可能，问题就在这里：

auto cOther = count<otherDir<d>()>();

模板在编译时被“解析”。您应该使用constexprfor，otherDir<d>()因为简单const并不意味着可以在编译时评估该方法。

更传统的方法是有结构otherDir而不是方法。创建结构模板，两个实例化将使用static const value = Vor U。

或者您可以用空结构替换枚举。

或者，更好的是，您可以尝试在没有模板的情况下实现它，并为维度创建类，并且每个维度都有一个对象。

于 2016-03-07T14:15:37.510 回答
0

otherDir<d>()不是constexpr，并且不能在模板参数 ( count<otherDir<d>()>()) 中使用。

您可以将constexpr(and static) 添加到该方法，或使用旧结构来处理：

template <Dir> struct otherDir;

template<>
struct otherDir<Dir::U>
{
    static constexpr Dir value = Dir::V;
};

template<>
struct otherDir<Dir::V>
{
    static constexpr Dir value = Dir::U;
};

演示

于 2016-03-07T14:20:30.760 回答