API 인터페이스를 유지하기 위해 클래스를 템플릿으로 만들지 않고도 다른 반환 유형을 처리 할 수 ​​있습니다.

Question

CPU 또는 GPU에서 계산 중입니다. GPU에는 이중 (64 비트) 유형이 없으므로 계산을 실행하는 기준에 따라 다른 반환 유형이 있습니다. 나는

#include <iostream> 

// GPU.h 
struct GPU { 
    using Ret = float; 
    Ret vals[5]; 
    void calc() { vals[0] = 0.0f; vals[1] = 1.0f; } // Do some calculation. 
    Ret* res() { return vals; } // Return pointer to result from calc(). 
}; 

// CPU.h 
struct CPU { 
    using Ret = double; 
    Ret vals[5]; 
    void calc() { vals[0] = 1.0; vals[1] = 2.0; } // Do some calculation. 
    Ret* res() { return vals; } // Return result from calc(). 
}; 

// Process.h 
template<class T> 
struct Process { 
    using Ret = typename T::Ret; 
    void calc() { t.calc(); } 
    Ret* res() { return t.res(); } 

    T t; 
}; 

int main() { 
    Process<CPU> p; 
    p.calc(); 
    auto res = p.res(); 
    std::cout << (res[0] + res[1]) << '\n'; 
} 

내 문제는 내가 시도하고 클래스로 프로세스 멤버를 넣으면 내가 그 클래스를 템플릿 필요가있다, 템플릿을 사용하여 다음 작업을 가지고있다. 다음은 Ret 만 두 배가 될 것이라는 것을 알고 있었기 때문에 CPU를 사용할 때 좋았습니다. GPU를 추가하면 내가 CPU/GPU의 선택으로, 프로세스를 변경하지 정말하고 싶은

struct X { 
    Process p; 
}; 

template<class Impl> 
struct X { 
    Process<Impl> p; 
}; 

에, 나는에서 갈 필요가 의미하는 것은 구현 세부 사항 및 프로세스의 사용자입니다 그것에 대해 알거나 선택할 필요가 없습니다.

가 나는 기본 2013가는 약 숀 부모의 이야기를 보았다 예를 사용하여 시도, 다음 파일의 끝 부분 object_t 유형,

https://github.com/boostcon/cppnow_presentations_2012/blob/master/fri/value_semantics/value_semantics.cpp

나는()이 CALC 위해 일하고 얻을 수 있습니다 그것은 무효를 반환합니다. 반환 형식이 다양하기 때문에 res()에서는 작동하지 않습니다. 또한 concept_t에서 템플릿 가상 함수를 지정할 수 없습니다.

template<class R> 
virtual R res() = 0; 

나는 CPU와 GPU의 징벌에 액세스하려고에서 빠른 이동을 했어,하지만 난 concept_t에서 함수 선언의 일부로서 그것을 할 방법을 작동하지 않을 수 있습니다.

내가 아직 시도하지 않은 마지막 생각은 CPU 및 GPU 싱글 톤을 만드는 것입니다. 그럼 난 단지 Process.cpp에서 그들을 사용합니다. Process 멤버 변수를 저장할 필요가 없으며 Process.h는 인터페이스를 유지하면서 CPU 및 GPU에 대해 알 필요가 없습니다.

누구나 내가 깔끔하고 기존 인터페이스를 보존 할 수있는 방법이 없기 때문에 아이디어/권장 사항을 얻었습니다.

Answer 1

왜 장치에서 얻은 결과를 이중으로 저장하는 것이 좋을까요? Process은 계산 및 결과 변환을 캡슐화하는 일종의 외관입니다. Process 사용자는 장치 및 지원되는 부동 소수점 유형에 상관하지 않습니다. 그들은 double을 사용하고 있습니다.

template<class Device> 
struct Process { 
    void calc() { t.calc(); } 
    double res() { 
     // Device::res returns something you can assign to a double 
     return t.res(); 
    } 

    Device device; 
}; 

편집 : 반환 값이 하나의 값하지만 당신은 장치의 결과 래퍼를 작성 할 수 있습니다 복식의 집합이 아닌 경우.

struct Process { 
    void calc(); 
    const Result& res(); 
}; 

struct Result { 
    virtual ~Result() = default; 
    virtual double operator[](size_t n) const = 0; 
}; 

이

은

struct GPUResult { 
    GPUResult(float* r) : results{ r } {} 

    virtual double operator[](size_t n) const { 
     return results[n]; 
    } 
    float* results; 
};