constexpr 생성자가 적용 범위 데이터를 표시하지 않습니다

Question

오늘 행렬 클래스를 constexpr으로 다시 작성했습니다. 나는이 클래스에 100 % 단위 테스트 커버리지를 가지고 있지만 거의 모든 함수를 constexpr로 변환 한 후 생성자의 일부가 lcov에 더 이상 적용되지 않는 것으로 표시되었음을 알았다.

다음은 생성자 만있는 클래스입니다.

template<typename T, std::size_t m, std::size_t n> 
class Matrix 
{ 
static_assert(std::is_arithmetic<T>::value, 
        "Matrix can only be declared with a type where " 
        "std::is_arithmetic is true."); 

public: 
    constexpr Matrix(
     std::initializer_list<std::initializer_list<T>> matrix_data) 
    { 
     if (matrix_data.size() != m) 
     { 
      throw std::invalid_argument("Invalid amount of rows."); 
     } 

     for (const auto& col : matrix_data) 
     { 
      if (col.size() != n) 
      { 
       throw std::invalid_argument("Invalid amount of columns."); 
      } 
     } 


     std::size_t pos_i = 0; 
     std::size_t pos_j = 0; 

     for (auto i = matrix_data.begin(); i != matrix_data.end(); ++i) 
     { 
      for (auto j = i->begin(); j != i->end(); ++j) 
      { 
       this->data[pos_i][pos_j] = *j; 
       ++pos_j; 
      } 
      ++pos_i; 
      pos_j = 0; 
     } 
    } 


private: 
    std::array<std::array<T, n>, m> data{}; 

}; 


int main() 
{ 
    Matrix<double, 2, 2> mat = { 
     {1, 2}, 
     {3, 4} 
    }; 

    return 0; 
} 

나는 lcov와 GCC 7.2을 사용하고 1.13

Answer 1

내가 constexpr에 생성자의 일부를 거의 모든 기능을 변환 한 후 I (했다) 한이 클래스에 100 % 단위 테스트 커버리지하지만 발견 더 이상 적용되지 않는 lcov에 표시됩니다. 비 적용 코드의

lcov의 표시가 gcov이 악기를하지 않았다는 것을 의미한다.

constexpr 아무것도 표시가 컴파일 시간에서 평가된다 gcov 따르면 데이터 런타임에 모여있다.

이것이 제가 의심하는 이유 중 하나입니다. constexpr 기능에 대한 적용 범위 데이터를 얻지 못하는 이유는 무엇입니까? 당신이 코드를 템플릿 것처럼

---

, 나는 최신 해요 잘 모르겠어요,하지만 난 gcov 잘되지 악기 템플릿을한다는 것을 경험하고 그들을 위해 제로 범위 데이터로 남아있을 수 있습니다 .

위에서 말한 constexpr의 경우와 비슷한 이유로, 템플릿은 컴파일 타임에 평가되거나 인스턴스화됩니다. 실제로 사용되는 모든 템플릿 인스턴스화를 합리적인 방법으로 계측하는 것은 적어도 어렵습니다.