3DFaces
/
libigl_Martin


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247
							<html>
  <head>
    <title>igl_lib tutorial</title>
    <link href="./style.css" rel="stylesheet" type="text/css">
  </head>
  <body>
    <img src=http://igl.ethz.ch/includes/images/logo-igl.gif alt="igl logo"
    class=center>
    <h1>Using the IGL library</h1>
    <p>
      The igl lib is a collection of useful/reusable/sharable C++ functions
      with very few external <a href="#dependencies">dependencies</a>. The
      library may be used as a <a href="#header_library">"headers only"
      library</a> or a <a href=#static_library>statically linked library</a>.
    </p>

    <p>
      This duality is illustrated in the example
      <code>examples/example_fun</code>. When built this example compiles two
      binaries, one using the <code>example_fun</code> routine of the igl
      library, either as a headers-only library or linking against the igl
      static library.
    </p>

      <h2 id=header_library>Headers (.h) only library</h2>
      <p>
        All classes and functions in the IGL library are written in a way in
        which the entire library may be compiled <i>just-in-time</i>,
        effectively behaiving as if it were a "headers only" library (like e.g.
        Eigen). This is achieved by careful organization of each pair of .h and
        .cpp files. To take advantage of this one must only include the path to
        <code>igl_lib</code> directory in one's project's include path and
        define the preprocessor macro <code>IGL_HEADER_ONLY</code>.
      </p>

      <p>
        Defining <code>IGL_HEADER_ONLY</code> may be done at the project level,
        prescribing that all included igl headers be treated as code that
        should be inlined. Consequently all templated functions will be derived
        at compile time if need be.
      </p>

      <p>
        One may also define <code>IGL_HEADER_ONLY</code> not only on a per-file
        basis, but a <i>per-include</i> basis. For example it may be useful for a
        project to use the static library for most functionality from IGL, but then
        include a certain IGL function as an inlined function. This may be achieved
        by surrounding the relevant include with a define and undefine of the
        <code>IGL_HEADER_ONLY</code> macro. Like so:
      </p>
      <pre><code>
...
#include &lt;igl/some_other_igl_function.h&gt;
#ifndef IGL_HEADER_ONLY
#  define IGL_HEADER_ONLY
#  define IGL_HEADER_ONLY_WAS_NOT_DEFINED
#endif
#include &lt;igl/igl_function_to_inline.h&gt;
#ifdef IGL_HEADER_ONLY_WAS_NOT_DEFINED
#  undef IGL_HEADER_ONLY
#endif
#include &lt;igl/yet_another_igl_function.h&gt;
...
      </code></pre>
      <span class=todo>example <code>examples/XXX</code> also highlights this feature</span>

      <div class=note>This practice is not recommended outside of debugging purposes.</div>
      

      <h3>Benefits of headers-only library</h3>
      <ul>
        <li><strong>Easy templates:</strong> When using the IGL library as a
        headers-only library no special care need be taken when using templated
        functions.</li>
      </ul>
      <h3>Drawbacks of headers-only library</h3>
      <ul>
        <li><strong>Inlining not guaranteed:</strong> Most compilers do not
        guarantee that functions will get inlined even if explicitly told to do
        so. Though we have not yet encountered this problem, it is always a
        risk.</li>
        <li><strong>Long compile, large binary:</strong>As a headers-only
        library we depend on the compiler to properly inline each function
        call. This means compile time is high and binary size can be quite
        large.</li>
      </ul>

      <h2 id=static_library>Statically linked library</h2>
        <h3 id=explicit_specialization_of_templated_functions>Explicit
        specialization of templated functions</h3>
        <p>
          Special care must be taken by the developers of each function and
          class in the IGL library that uses C++ templates. If this function is
          intended to be compiled into the statically linked igl library then
          function is only compiled for each <i>explicitly</i> specialized
          declaration. These should be added at the bottom of the corresponding
          .cpp file surrounded by a <code>#ifndef IGL_HEADER_ONLY</code>.
        </p>

        <p>
          Of course, a developer may not know ahead of time which
          specializations should be explicitly included in the igl static lib.
          One way to find out is to add one explicit specialization for each
          call in one's own project. This only ever needs to be done once for
          each template.
        </p>

        <p>
          The process is somewhat mechanical using a linker with reasonable error
          output.
        </p>

        <p>
          Supposed for example we have compiled the igl static lib, including the
          cat.h and cat.cpp functions, without any explicit instanciation. Say
          using the makefile in the <code>igl_lib</code> directory:
        </p>
        <pre><code>
cd $IGL_LIB
make
        </code></pre>
        <p>
          Now if we try to compile a project and link against it we may get
          an error like:
        </p>
        <pre><code>
Undefined symbols for architecture x86_64:
  "<span class=highlight>Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; igl::cat&lt;Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; &gt;(int, Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; const&, Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; const&)</span>", referenced from:
      uniform_sample(Eigen::Matrix&lt;double, -1, -1, 0, -1, -1&gt; const&, Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; const&, int, double, Eigen::Matrix&lt;double, -1, -1, 0, -1, -1&gt;&)in Skinning.o
  "Eigen::SparseMatrix&lt;double, 0, int&gt; igl::cat&lt;Eigen::SparseMatrix&lt;double, 0, int&gt; &gt;(int, Eigen::SparseMatrix&lt;double, 0, int&gt; const&, Eigen::SparseMatrix&lt;double, 0, int&gt; const&)", referenced from:
      covariance_scatter_matrix(Eigen::Matrix&lt;double, -1, -1, 0, -1, -1&gt; const&, Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; const&, ArapEnergy, Eigen::SparseMatrix&lt;double, 0, int&gt;&)in arap_dof.o
      arap_rhs(Eigen::Matrix&lt;double, -1, -1, 0, -1, -1&gt; const&, Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; const&, ArapEnergy, Eigen::SparseMatrix&lt;double, 0, int&gt;&)in arap_dof.o
        </code></pre>
        <p>
          This looks like a mess, but luckily we don't really need to read it
          all. Just copy the first highlighted part in quotes, then append it
          to the list of explicit templat specializations at the end of
          <code>cat.cpp</code> after the word
          <strong><code>template</code></strong> and followed by a semi-colon.
          Like this:
        </p>
        <pre><code>
...
#ifndef IGL_HEADER_ONLY
  // Explicit template specialization
  <strong>template</strong> <span class=highlight>Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; igl::cat&lt;Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; &gt;(int, Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; const&, Eigen::Matrix&lt;int, -1, -1, 0, -1, -1&gt; const&)</span>;
#endif
        </code></pre>
        <p>
          Then you must recompile the IGL static library.
        </p>
        <pre><code>
cd $IGL_LIB
make
        </code></pre>
        <p>
          And try to compile your project again, potentially repeating this
          process until no more symbols are undefined.
        </p>

        <div class=note>It may be useful to check that you code compiles with
        no errors first using the <a href=#header_library>headers-only
        version</a> to be sure that all errors are from missing template
        specializations.</div>

        <p>
          If you're using make then the following command will
          reveal each missing symbol on its own line:
        </p>
        <pre><code>
make 2&gt;&1 | grep "referenced from" | sed -e "s/, referenced from.*//"
        </code></pre>

        <p>
          Alternatively you can use the <code>autoexplicit.sh</code> function
          which (for well organized .cpp files in the igl_lib) automatically
          create explicit instanciations from your compiler's error messages.
          Repeat this process until convergence:
        </p>
        <pre><code>
cd /to/your/project
make 2&gt;$IGL_LIB/make.err
cd $IGL_LIB
cat make.err | ./autoexplicit.sh
make clean 
make
        </code></pre>

        <h3>Benefits of static library</h3>
        <ul>
          <li><strong>Faster compile time:</strong> Because the igl library is
          already compiled, only the new code in ones project must be compiled
          and then linked to IGL. This means compile times are generally
          faster.</li>
          <li><strong>Debug <i>or</i> optimized:</strong> The IGL static
          library may be compiled in debug mode or optimized release mode
          regardless of whether one's project is being optimized or
          debugged.</li>
        </ul>
        <h3>Drawbacks of static library</h3>
        <ul>
          <li><strong>Hard to use templates:</strong> <a
          href="#explicit_specialization_of_templated_functions">Special
          care</a> (by the developers of the library) needs to be taken when
          exposing templated functions.</li>
        </ul>

      <h2 id="dependencies">Dependencies</h2>
      <p>
        By design the IGL library has very few external dependencies.
      </p>
        <h3>Mandatory dependencies</h3>
        <p>
          Besides the standard C++ library, there are a few dependencies,
          without which the main library will not compile or work properly.
          These are:
        </p>
        <ul>
          <li><a href=http://eigen.tuxfamily.org/>Eigen3</a></li>
          <li>OpenGL <span class=todo>implement IGL_NO_OPENGL compiler option</span></li>
          <li>GLUT <span class=todo>implement IGL_NO_GLUT compiler option</span></li>
        </ul>
        <h3>Optional dependencies</h3>
        <p>
          Certain functions and classes included the IGL library have external
          dependencies by construction (e.g. the matlab_interface routines are
          only useful when matlab is present anyway). These are
          <strong>never</strong> compiled by default into the static igl
          library <span class=todo>and are only exposed through compiler
          options</span>. These are:
        </p>
        <ul>
          <li>MATLAB</li>
          <li><a href="http://www.antisphere.com/Wiki/tools:anttweakbar">AntTweakBar</a></li>
        </ul>
      <h1>Converting matlab code to C++ using IGL and Eigen</h1>
      <p>
        Eigen's matrix API often makes it fairly to translate to and from
        matlab code (Eigen provides a <a
        href=http://eigen.tuxfamily.org/dox/AsciiQuickReference.txt>
        translation table</a>). We have implemented a few additional
        matlab-esque functions to make the translation even easier. <a
        href="matlab-to-eigen.html">Our own translation table</a> shows a list
        of common matlab functions and their igl-eigen equivalents.  
      </p>
  </body>
</html>